Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Informing Assurance Case Review Through a Formal Interpretation of GSN Core Logic. | 0 | 0.34 | 2015 |
| Unifying Theories of Logic and Specification. | 1 | 0.35 | 2013 |
| Unifying Theories of Undefinedness in UTP. | 2 | 0.36 | 2012 |
| Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. | 1 | 0.36 | 2012 |