|
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 coordination model of pervasive service ecosystems |
Viroli, Mirko |
2015 |
110 | C |
p. 3-22 20 p. |
artikel |
|
| 2 | A study of risk-aware program transformation |
Murta, Daniel |
2015 |
110 | C |
p. 51-77 27 p. |
artikel |
|
| 3 | A zoom-declarative debugger for sequential Erlang programs |
Caballero, Rafael |
2015 |
110 | C |
p. 104-118 15 p. |
artikel |
|
| 4 | On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination |
Latella, Diego |
2015 |
110 | C |
p. 23-50 28 p. |
artikel |
|
| 5 | Preface to Formal Coordination and Self-organisation: Special section including selected best papers from CM 2012–2013 |
Fernandez-Marquez, Jose Luis |
2015 |
110 | C |
p. 1-2 2 p. |
artikel |
|
| 6 | Reasoning about software reconfigurations: The behavioural and structural perspectives |
Oliveira, Nuno |
2015 |
110 | C |
p. 78-103 26 p. |
artikel |
6 gevonden resultaten