|
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 | A Compositional Modelling and Verification Framework for Stochastic Hybrid Systems |
Wang, Shuling |
2017 |
29 | 4 |
p. 751-775 |
artikel |
|
| 2 | An application of temporal projection to interleaving concurrency |
Moszkowski, Ben |
2017 |
29 | 4 |
p. 705-750 |
artikel |
|
| 3 | Cost vs. time in stochastic games and Markov automata |
Hatefi, Hassan |
2017 |
29 | 4 |
p. 629-649 |
artikel |
|
| 4 | Editorial |
Li, Xuandong |
2017 |
29 | 4 |
p. 581-582 |
artikel |
|
| 5 | Fault trees on a diet: automated reduction by graph rewriting |
Junges, Sebastian |
2017 |
29 | 4 |
p. 651-703 |
artikel |
|
| 6 | Improving design decomposition (extended version) |
Faitelson, David |
2017 |
29 | 4 |
p. 601-627 |
artikel |
|
| 7 | Synthesizing and verifying controllers for multi-lane traffic maneuvers |
Bochmann, Gregor V. |
2017 |
29 | 4 |
p. 583-600 |
artikel |
7 gevonden resultaten