|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A compositional automata-based semantics and preserving transformation rules for testing property patterns |
Taha, Safouan |
2014 |
27 | 4 |
p. 641-664 |
artikel |
|
| 2 | An algebraic theory for web service contracts |
Laneve, Cosimo |
2015 |
27 | 4 |
p. 613-640 |
artikel |
|
| 3 | Editorial |
Butler, Michael |
2015 |
27 | 4 |
p. 611-612 |
artikel |
|
| 4 | Program equivalence by circular reasoning |
Lucanu, Dorel |
2014 |
27 | 4 |
p. 701-726 |
artikel |
|
| 5 | Quantified abstract configurations of distributed systems |
Albert, Elvira |
2014 |
27 | 4 |
p. 665-699 |
artikel |
|
| 6 | Structural transformations for data-enriched real-time systems |
Olderog, Ernst-Rüdiger |
2014 |
27 | 4 |
p. 727-750 |
artikel |
6 gevonden resultaten