|
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 | Characterizing Non-Zenoness on Real-Time Processes |
Stříbrná, Jitka |
2002 |
52 | 3 |
p. 306-322 17 p. |
artikel |
|
| 2 | Extending Timed Automata for Compositional Modeling Healthy Timed Systems |
Braberman, Víctor |
2002 |
52 | 3 |
p. 227-245 19 p. |
artikel |
|
| 3 | Non-determinism in Probabilistic Timed Systems with General Distributions |
Bravetti, Mario |
2002 |
52 | 3 |
p. 246-274 29 p. |
artikel |
|
| 4 | Petri Nets with Discrete Phase Type Timing |
Bobbio, Andrea |
2002 |
52 | 3 |
p. 209-226 18 p. |
artikel |
|
| 5 | Preface |
Corradini, Flavio |
2002 |
52 | 3 |
p. 323-324 2 p. |
artikel |
|
| 6 | Privacy in Real-Time Systems |
Lanotte, Ruggero |
2002 |
52 | 3 |
p. 295-305 11 p. |
artikel |
|
| 7 | Timed Process Algebras 1 1 Joint work with C.A. Middelburg and M.A. Reniers. |
Baeten, Jos |
2002 |
52 | 3 |
p. 207-208 2 p. |
artikel |
|
| 8 | Towards a Process Algebra for Shared Processors |
Buchholtz, Mikael |
2002 |
52 | 3 |
p. 275-294 20 p. |
artikel |
8 gevonden resultaten