|
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 formal approach to adaptive software: continuous assurance of non-functional requirements |
Filieri, Antonio |
2011 |
24 | 2 |
p. 163-186 |
artikel |
|
| 2 | Assertion-based slicing and slice graphs |
Barros, José Bernardo |
2011 |
24 | 2 |
p. 217-248 |
artikel |
|
| 3 | Cut Set Analysis using Behavior Trees and model checking |
Lindsay, Peter A. |
2011 |
24 | 2 |
p. 249-266 |
artikel |
|
| 4 | Editorial |
Fiadeiro, J. L. |
2012 |
24 | 2 |
p. 161-162 |
artikel |
|
| 5 | Reo + mCRL2 : A framework for model-checking dataflow in service compositions |
Kokash, Natallia |
2011 |
24 | 2 |
p. 187-216 |
artikel |
|
| 6 | Scalable context-dependent analysis of emergency egress models |
Massink, M. |
2011 |
24 | 2 |
p. 267-302 |
artikel |
6 gevonden resultaten