|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Building traceable Event-B models from requirements |
Alkhammash, Eman |
2015 |
111 | P2 |
p. 318-338 21 p. |
artikel |
|
| 2 | Comparing model checkers for timed UML activity diagrams |
Daw, Zamira |
2015 |
111 | P2 |
p. 277-299 23 p. |
artikel |
|
| 3 | Formal analysis of privacy in Direct Anonymous Attestation schemes |
Smyth, Ben |
2015 |
111 | P2 |
p. 300-317 18 p. |
artikel |
|
| 4 | Fully symbolic TCTL model checking for complete and incomplete real-time systems |
Morbé, Georges |
2015 |
111 | P2 |
p. 248-276 29 p. |
artikel |
|
| 5 | Implementability of requirements in the four-variable model |
Patcas, Lucian M. |
2015 |
111 | P2 |
p. 339-362 24 p. |
artikel |
|
| 6 | Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems |
Dongol, Brijesh |
2015 |
111 | P2 |
p. 214-247 34 p. |
artikel |
|
| 7 | Special issue on Automated Verification of Critical Systems (AVoCS 2013) |
Schneider, Steve |
2015 |
111 | P2 |
p. 213- 1 p. |
artikel |
7 gevonden resultaten