|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A formal approach to AADL model-based software engineering |
Mkaouar, Hana |
|
22 | 2 |
p. 219-247 |
artikel |
|
| 2 | A greedy particle swarm optimization (GPSO) algorithm for testing real-world smart card applications |
Allawi, Hamzeh M. |
|
22 | 2 |
p. 183-194 |
artikel |
|
| 3 | Counting Petri net markings from reduction equations |
Berthomieu, Bernard |
|
22 | 2 |
p. 163-181 |
artikel |
|
| 4 | IC3 software model checking |
Lange, Tim |
|
22 | 2 |
p. 135-161 |
artikel |
|
| 5 | Introduction to the Special Issue devoted to SPIN 2018 |
Gallardo, María del Mar |
|
22 | 2 |
p. 103-104 |
artikel |
|
| 6 | Joint forces for memory safety checking revisited |
Chalupa, Marek |
|
22 | 2 |
p. 115-133 |
artikel |
|
| 7 | Model-based testing of apps in real network scenarios |
Panizo, Laura |
|
22 | 2 |
p. 105-114 |
artikel |
|
| 8 | Spatial logics and model checking for medical imaging |
Banci Buonamici, Fabrizio |
|
22 | 2 |
p. 195-217 |
artikel |
8 gevonden resultaten