|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Active learning for extended finite state machines |
Cassel, Sofia |
2016 |
28 | 2 |
p. 233-263 |
article |
|
| 2 | A general framework for architecture composability |
Attie, Paul |
2015 |
28 | 2 |
p. 207-231 |
article |
|
| 3 | Building program construction and verification tools from algebraic principles |
Armstrong, Alasdair |
2015 |
28 | 2 |
p. 265-293 |
article |
|
| 4 | Correctness and concurrent complexity of the Black-White Bakery Algorithm |
Hesselink, Wim H. |
2016 |
28 | 2 |
p. 325-341 |
article |
|
| 5 | Editorial |
Giannakopoulou, Dimitra |
2016 |
28 | 2 |
p. 179-180 |
article |
|
| 6 | Formalizing and testing the consistency of DSL transformations |
Keshishzadeh, Sarmen |
2016 |
28 | 2 |
p. 181-206 |
article |
|
| 7 | Optimising the ProB model checker for B using partial order reduction |
Dobrikov, Ivaylo |
2016 |
28 | 2 |
p. 295-323 |
article |
7 results found