|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A framework for specifying and verifying the behaviour of open systems |
Bracciali, Andrea |
2005 |
63 | 2 |
p. 215-240 26 p. |
artikel |
|
| 2 | An “abstract process” approach to algebraic dynamic architecture description |
Cuesta, Carlos E. |
2005 |
63 | 2 |
p. 177-214 38 p. |
artikel |
|
| 3 | An object based algebra for specifying a fault tolerant software architecture |
Dragoni, Nicola |
2005 |
63 | 2 |
p. 271-297 27 p. |
artikel |
|
| 4 | Author Index – Volume (2004) |
2005 |
63 | 2 |
p. 298- 1 p. |
artikel |
||
| 5 | Contents |
2005 |
63 | 2 |
p. iii- 1 p. |
artikel |
||
| 6 | Editorial board |
2005 |
63 | 2 |
p. IFC- 1 p. |
artikel |
||
| 7 | Encapsulation and behavioral inheritance in a synchronous model of computation for embedded system services adaptation |
Kerbœuf, Mickaël |
2005 |
63 | 2 |
p. 241-269 29 p. |
artikel |
|
| 8 | Guest editors’ introduction: Special issue on Process Algebra and System Architecture |
2005 |
63 | 2 |
p. 175-176 2 p. |
artikel |
||
| 9 | Keyword Index – Volume (2004) |
2005 |
63 | 2 |
p. 299- 1 p. |
artikel |
9 gevonden resultaten