|
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 | Active learning for extended finite state machines |
Cassel, Sofia |
2016 |
28 | 2 |
p. 233-263 |
artikel |
|
| 2 | A general framework for architecture composability |
Attie, Paul |
2015 |
28 | 2 |
p. 207-231 |
artikel |
|
| 3 | Building program construction and verification tools from algebraic principles |
Armstrong, Alasdair |
2015 |
28 | 2 |
p. 265-293 |
artikel |
|
| 4 | Correctness and concurrent complexity of the Black-White Bakery Algorithm |
Hesselink, Wim H. |
2016 |
28 | 2 |
p. 325-341 |
artikel |
|
| 5 | Editorial |
Giannakopoulou, Dimitra |
2016 |
28 | 2 |
p. 179-180 |
artikel |
|
| 6 | Formalizing and testing the consistency of DSL transformations |
Keshishzadeh, Sarmen |
2016 |
28 | 2 |
p. 181-206 |
artikel |
|
| 7 | Optimising the ProB model checker for B using partial order reduction |
Dobrikov, Ivaylo |
2016 |
28 | 2 |
p. 295-323 |
artikel |
7 gevonden resultaten