|
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 | Compositional verification of real-time systems using Ecdar |
David, Alexandre |
2012 |
14 | 6 |
p. 703-720 |
artikel |
|
| 2 | Constructive model-based analysis for safety assessment |
Gomes, Adriano |
2012 |
14 | 6 |
p. 673-702 |
artikel |
|
| 3 | Formal modeling and validation of Stateflow diagrams |
Chen, Chunqing |
2012 |
14 | 6 |
p. 653-671 |
artikel |
|
| 4 | Relating software validation to technology trends |
Liu, Zhiming |
2012 |
14 | 6 |
p. 631-638 |
artikel |
|
| 5 | Timing analysis of MSC specifications with asynchronous concatenation |
Pan, Minxue |
2012 |
14 | 6 |
p. 639-651 |
artikel |
5 gevonden resultaten