|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
15 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Case Study in JML-Assisted Software Development |
Cataño, Néstor |
2009 |
240 | C |
p. 5-21 17 p. |
artikel |
|
| 2 | A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol |
Regnier, Paul |
2009 |
240 | C |
p. 221-238 18 p. |
artikel |
|
| 3 | Checking Z Data Refinements Using Traces Refinement |
Didier, André |
2009 |
240 | C |
p. 129-148 20 p. |
artikel |
|
| 4 | Combining Decision Procedures by (Model-)Equality Propagation |
de Oliveira, Diego Caminha B. |
2009 |
240 | C |
p. 113-128 16 p. |
artikel |
|
| 5 | Formal Verification of Graph Grammars using Mathematical Induction |
da Costa, Simone André |
2009 |
240 | C |
p. 43-60 18 p. |
artikel |
|
| 6 | Mechanical Reasoning about Families of UTP Theories |
Zeyda, Frank |
2009 |
240 | C |
p. 239-257 19 p. |
artikel |
|
| 7 | Mechanised Wire-wise Verification of Handel-C Synthesis |
Perna, Juan Ignacio |
2009 |
240 | C |
p. 201-219 19 p. |
artikel |
|
| 8 | Model Checking Merged Program Traces |
da Silva, Paulo Salem |
2009 |
240 | C |
p. 97-112 16 p. |
artikel |
|
| 9 | Multiple Synchrony in MSC |
Falcão, Flávia |
2009 |
240 | C |
p. 149-166 18 p. |
artikel |
|
| 10 | Preface |
Machado, Patrícia D.L. |
2009 |
240 | C |
p. 1-3 3 p. |
artikel |
|
| 11 | Specification and Runtime Verification of Java Card Programs |
da Costa, Umberto Souza |
2009 |
240 | C |
p. 61-78 18 p. |
artikel |
|
| 12 | Stateflow Diagrams in Circus |
Cavalcanti, Ana |
2009 |
240 | C |
p. 23-41 19 p. |
artikel |
|
| 13 | Symbolic Model-based Test Selection |
Jéron, Thierry |
2009 |
240 | C |
p. 167-184 18 p. |
artikel |
|
| 14 | Transforming Programs into Recursive Functions |
Myreen, Magnus O. |
2009 |
240 | C |
p. 185-200 16 p. |
artikel |
|
| 15 | Verified Compilation and the B Method: A Proposal and a First Appraisal |
Dantas, Bartira |
2009 |
240 | C |
p. 79-96 18 p. |
artikel |
15 gevonden resultaten