|
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 | An algorithm for compositional nonblocking verification using special events |
Pilbrow, Colin |
2015 |
113 | P2 |
p. 119-148 30 p. |
artikel |
|
| 2 | Designing a verifying compiler: Lessons learned from developing Whiley |
Pearce, David J. |
2015 |
113 | P2 |
p. 191-220 30 p. |
artikel |
|
| 3 | Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude |
Sabahi-Kaviani, Zeynab |
2015 |
113 | P2 |
p. 85-118 34 p. |
artikel |
|
| 4 | Formal verification of function blocks applied to IEC 61131-3 |
Pang, Linna |
2015 |
113 | P2 |
p. 149-190 42 p. |
artikel |
|
| 5 | Preface |
Artho, Cyrille |
2015 |
113 | P2 |
p. 83-84 2 p. |
artikel |
5 gevonden resultaten