Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Building high assurance human-centric decision systems | 6 | 0.49 | 2015 |
| Idea: writing secure c programs with secprove | 1 | 0.41 | 2013 |
| Model-based construction and verification of critical systems using composition and partial refinement | 4 | 0.40 | 2010 |