Ausgabe 5/2018
SPIN 2016
Inhalt (7 Artikel)
Open Access
Introduction
Model checking: recent improvements and applications
Dragan Bošnački, Anton Wijs
SPIN 2016
Integrating river basin DSSs with model checking
María del Mar Gallardo, Pedro Merino, Laura Panizo, Alberto Salmerón
Open Access
SPIN 2016
A case study of planning for smart factories
Stefan Edelkamp, Christoph Greulich
SPIN 2016
Discrete and continuous strategies for timed-arc Petri net games
Peter Gjøl Jensen, Kim Guldstrand Larsen, Jiří Srba
SPIN 2016
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking
Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha
SPIN 2016
On-the-fly model checking for extended action-based probabilistic operators
Radu Mateescu, José Ignacio Requeno