|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Checking the reliability of socket based communication software |
Cámara, Pedro de la |
2009 |
11 | 5 |
p. 359-374 |
artikel |
|
| 2 | Flush: an example of development by refinements in SCADE/Lustre |
Mikáč, Jan |
2009 |
11 | 5 |
p. 409-418 |
artikel |
|
| 3 | LearnLib: a framework for extrapolating behavioral models |
Raffelt, Harald |
2009 |
11 | 5 |
p. 393-407 |
artikel |
|
| 4 | Preface |
Margaria, Tiziana |
2009 |
11 | 5 |
p. 355-357 |
artikel |
|
| 5 | Solving scheduling problems by untimed model checking |
Wijs, Anton J. |
2009 |
11 | 5 |
p. 375-392 |
artikel |
5 gevonden resultaten