|
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 | Automated property-based testing from AADL component contracts |
Hatcliff, John |
|
27 | 3 |
p. 333-360 |
artikel |
|
| 2 | Conformance in the railway industry: Single-Input-Change testing a EULYNX controller |
van der Wal, Djurre |
|
27 | 3 |
p. 377-395 |
artikel |
|
| 3 | Formal methods in industrial critical systems |
Cimatti, Alessandro |
|
27 | 3 |
p. 309-311 |
artikel |
|
| 4 | Optimal spare management via statistical model checking: a case study in research reactors |
Soltani, Reza |
|
27 | 3 |
p. 361-376 |
artikel |
|
| 5 | Pattern-based verification of ROS 2 applications using UPPAAL |
Dust, Lukas |
|
27 | 3 |
p. 313-332 |
artikel |
5 gevonden resultaten