Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland