|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An overview of JML tools and applications |
Burdy, Lilian |
2004 |
7 | 3 |
p. 212-232 |
artikel |
|
| 2 | A verification approach to applied system security |
Brucker, Achim D. |
2005 |
7 | 3 |
p. 233-247 |
artikel |
|
| 3 | Distributed state space minimization |
Blom, Stefan |
2005 |
7 | 3 |
p. 280-291 |
artikel |
|
| 4 | Formal verification of fault tolerance in safety-critical reconfigurable modules |
Hammarberg, Jerker |
2004 |
7 | 3 |
p. 268-279 |
artikel |
|
| 5 | Integration of informal and formal development of object-oriented safety-critical software |
Bubel, Richard |
2004 |
7 | 3 |
p. 197-211 |
artikel |
|
| 6 | Introductory paper |
Arts, Thomas |
2005 |
7 | 3 |
p. 195-196 |
artikel |
|
| 7 | prialt in Handel-C: an operational semantics |
Butterfield, Andrew |
2005 |
7 | 3 |
p. 248-267 |
artikel |
7 gevonden resultaten