|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Formal testing for separation assurance |
Giannakopoulou, Dimitra |
2011 |
63 | 1 |
p. 5-30 |
artikel |
|
| 2 | Kripke modelling and verification of temporal specifications of a multiple UAV system |
Sirigineedi, Gopinadh |
2011 |
63 | 1 |
p. 31-52 |
artikel |
|
| 3 | Preface |
Bujorianu, Manuela |
2012 |
63 | 1 |
p. 1-3 |
artikel |
|
| 4 | Using formal methods with SysML in aerospace design and engineering |
Graves, Henson |
2011 |
63 | 1 |
p. 53-102 |
artikel |
4 gevonden resultaten