|
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 | Actors and their Composition |
Janneck, Jörn W. |
2003 |
15 | 4 |
p. 349-369 |
artikel |
|
| 2 | A Semantics for Distributed Execution of Statemate |
Fränzle, Martin |
2003 |
15 | 4 |
p. 390-405 |
artikel |
|
| 3 | Content of Volume 15 - 2003 |
2003 |
15 | 4 |
p. 422 |
artikel |
||
| 4 | Editorial: Where Theory and Practice Meet |
Broy, Manfred |
2003 |
15 | 4 |
p. 297-298 |
artikel |
|
| 5 | Intensional and Extensional Semantics of Dataflow Programs |
Gay, Simon |
2003 |
15 | 4 |
p. 299-318 |
artikel |
|
| 6 | Linear Approximation of Execution-Time Constraints |
Lermer, Karl |
2003 |
15 | 4 |
p. 319-348 |
artikel |
|
| 7 | Redesign of a Systems Engineering Language: Formalisation of χ |
Bos, Victor |
2003 |
15 | 4 |
p. 370-389 |
artikel |
|
| 8 | Validating the PSL/Sugar Semantics Using Automated Reasoning |
Gordon, Michael J. C. |
2003 |
15 | 4 |
p. 406-421 |
artikel |
8 gevonden resultaten