|
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 | Balancing expressiveness in formal approaches to concurrency |
Jones, Cliff B. |
2014 |
27 | 3 |
p. 475-497 |
artikel |
|
| 2 | Compositional reasoning about active objects with shared futures |
Din, Crystal Chang |
2014 |
27 | 3 |
p. 551-572 |
artikel |
|
| 3 | Editorial |
Eleftherakis, George |
2015 |
27 | 3 |
p. 473 |
artikel |
|
| 4 | Frama-C: A software analysis perspective |
Kirchner, Florent |
2015 |
27 | 3 |
p. 573-609 |
artikel |
|
| 5 | Language and tool support for event refinement structures in Event-B |
Salehi Fathabadi, Asieh |
2014 |
27 | 3 |
p. 499-523 |
artikel |
|
| 6 | Strategy based semantics for mobility with time and access permissions |
Ciobanu, Gabriel |
2014 |
27 | 3 |
p. 525-549 |
artikel |
6 gevonden resultaten