|
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 case study of planning for smart factories |
Edelkamp, Stefan |
2018 |
20 | 5 |
p. 515-528 |
artikel |
|
| 2 | Discrete and continuous strategies for timed-arc Petri net games |
Jensen, Peter Gjøl |
2017 |
20 | 5 |
p. 529-546 |
artikel |
|
| 3 | Fair testing and stubborn sets |
Valmari, Antti |
2017 |
20 | 5 |
p. 589-610 |
artikel |
|
| 4 | Integrating river basin DSSs with model checking |
Gallardo, María del Mar |
2017 |
20 | 5 |
p. 499-514 |
artikel |
|
| 5 | Model checking: recent improvements and applications |
Bošnački, Dragan |
2018 |
20 | 5 |
p. 493-497 |
artikel |
|
| 6 | Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking |
Khamespanah, Ehsan |
2017 |
20 | 5 |
p. 547-561 |
artikel |
|
| 7 | On-the-fly model checking for extended action-based probabilistic operators |
Mateescu, Radu |
2018 |
20 | 5 |
p. 563-587 |
artikel |
7 gevonden resultaten