|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | ASM-based formal design of an adaptivity component for a Cloud system |
Arcaini, Paolo |
2016 |
28 | 4 |
p. 567-595 |
artikel |
|
| 2 | Dynamic role authorization in multiparty conversations |
Ghilezan, Silvia |
2016 |
28 | 4 |
p. 643-667 |
artikel |
|
| 3 | Editorial |
Carbone, Marco |
2016 |
28 | 4 |
p. 529-530 |
artikel |
|
| 4 | Event-based run-time adaptation in communication-centric systems |
Di Giusto, Cinzia |
2016 |
28 | 4 |
p. 531-566 |
artikel |
|
| 5 | Model checking Petri nets with names using data-centric dynamic systems |
Montali, Marco |
2016 |
28 | 4 |
p. 615-641 |
artikel |
|
| 6 | On the expressive power of behavioral profiles |
Polyvyanyy, Artem |
2016 |
28 | 4 |
p. 597-613 |
artikel |
|
| 7 | Reversible client/server interactions |
Barbanera, Franco |
2016 |
28 | 4 |
p. 697-722 |
artikel |
|
| 8 | Self-adaptation and secure information flow in multiparty communications |
Castellani, Ilaria |
2016 |
28 | 4 |
p. 669-696 |
artikel |
8 gevonden resultaten