Skip to Main Content (Press Enter)
×
Home
Persone
Pubblicazioni
Strutture
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
cnr.it
IT
EN
×
Home
Persone
Pubblicazioni
Strutture
Competenze
☰
Pubblicazioni
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER (INTERNET)
Rivista
Codice:
E260637
ISSN:
1433-2787
Dati Generali
Dati Generali
Pubblicazioni (6)
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods
Articolo
Formal methods and tools for industrial critical systems
Articolo
Formal methods for transport systems
Articolo
Spatial logics and model checking for medical imaging
Articolo
Spatio-temporal model checking of vehicular movement in public transport systems
Articolo
The industrialization of formal methods
Articolo
No Results Found
