|
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 | Constructive polychronous systems |
Talpin, Jean-Pierre |
2014 |
96 | P3 |
p. 377-394 18 p. |
artikel |
|
| 2 | Formal specification and verification of a coordination protocol for an automated air traffic control system |
Zhao, Yang |
2014 |
96 | P3 |
p. 337-353 17 p. |
artikel |
|
| 3 | On modelling and verifying railway interlockings: Tracking train lengths |
James, Phillip |
2014 |
96 | P3 |
p. 315-336 22 p. |
artikel |
|
| 4 | Property-dependent reductions adequate with divergence-sensitive branching bisimilarity |
Mateescu, Radu |
2014 |
96 | P3 |
p. 354-376 23 p. |
artikel |
|
| 5 | Special issue on Automated Verification of Critical Systems (AVoCS'12) |
Lüttgen, Gerald |
2014 |
96 | P3 |
p. 277-278 2 p. |
artikel |
|
| 6 | Two approaches for proving linearizability of multiset |
Tofan, Bogdan |
2014 |
96 | P3 |
p. 297-314 18 p. |
artikel |
|
| 7 | Verification of the functional behavior of a floating-point program: An industrial case study |
Marché, Claude |
2014 |
96 | P3 |
p. 279-296 18 p. |
artikel |
7 gevonden resultaten