|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Automated compositional Markov chain generation for a plain-old telephone system |
Hermanns, Holger |
2000 |
36 | 1 |
p. 97-127 31 p. |
artikel |
|
| 2 | ESTEREL: a formal method applied to avionic software development |
Berry, Gérard |
2000 |
36 | 1 |
p. 5-25 21 p. |
artikel |
|
| 3 | Foreword |
Cuellar, Jorge |
2000 |
36 | 1 |
p. 1-3 3 p. |
artikel |
|
| 4 | On the analysis needs when verifying state-based software requirements: an experience report |
Heimdahl, Mats P.E. |
2000 |
36 | 1 |
p. 65-96 32 p. |
artikel |
|
| 5 | Verification and test generation for the SSCOP protocol |
Bozga, Marius |
2000 |
36 | 1 |
p. 27-52 26 p. |
artikel |
|
| 6 | Verification of a safety-critical railway interlocking system with real-time constraints |
Hartonas-Garmhausen, Vicky |
2000 |
36 | 1 |
p. 53-64 12 p. |
artikel |
6 gevonden resultaten