|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Adaptation impact and environment models for architecture-based self-adaptive systems |
Cámara, Javier |
2016 |
127 | C |
p. 50-75 26 p. |
artikel |
|
| 2 | A formal approach for managing component-based architecture evolution |
Mokni, Abderrahman |
2016 |
127 | C |
p. 24-49 26 p. |
artikel |
|
| 3 | Algorithmic verification of procedural programs in the presence of code variability |
Soleimanifard, Siavash |
2016 |
127 | C |
p. 76-102 27 p. |
artikel |
|
| 4 | Editorial Board |
2016 |
127 | C |
p. IFC- 1 p. |
artikel |
||
| 5 | On-the-fly construction of provably correct service compositions – templates and proofs |
Walther, Sven |
2016 |
127 | C |
p. 2-23 22 p. |
artikel |
|
| 6 | Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software |
Lanese, Ivan |
2016 |
127 | C |
p. 1- 1 p. |
artikel |
|
| 7 | Statistical and exact schedulability analysis of hierarchical scheduling systems |
Boudjadar, Abdeldjalil |
2016 |
127 | C |
p. 103-130 28 p. |
artikel |
7 gevonden resultaten