Volume 20, Issue 5 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 20, Issue 5

October 2018

SPIN 2016

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Model checking: recent improvements and applications
Dragan Bošnački
Anton Wijs
Introduction Open access 24 July 2018 Pages: 493 - 497
Integrating river basin DSSs with model checking
María del Mar Gallardo
Pedro Merino
Alberto Salmerón
SPIN 2016 24 October 2017 Pages: 499 - 514
A case study of planning for smart factories
Stefan Edelkamp
Christoph Greulich
SPIN 2016 Open access 07 August 2018 Pages: 515 - 528
Discrete and continuous strategies for timed-arc Petri net games
Peter Gjøl Jensen
Kim Guldstrand Larsen
Jiří Srba
SPIN 2016 25 September 2017 Pages: 529 - 546
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking
Ehsan Khamespanah
Marjan Sirjani
Gul Agha
SPIN 2016 20 November 2017 Pages: 547 - 561
On-the-fly model checking for extended action-based probabilistic operators
Radu Mateescu
José Ignacio Requeno
SPIN 2016 10 August 2018 Pages: 563 - 587
Fair testing and stubborn sets
Antti Valmari
Walter Vogler
SPIN 2016 11 December 2017 Pages: 589 - 610