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
FORMAL METHODS IN SYSTEM DESIGN
Rivista
Codice:
E066984
ISSN:
0925-9856
Dati Generali
Dati Generali
Pubblicazioni (9)
A consistent causality based view on a timed process algebra including urgent interactions
Articolo
A formal verification environment for railway signaling system design
Articolo
A formal verification environment for railway signaling system design
Articolo
Formal Methods in System Design. An International Journal. Special issue on formal methods for industrial critical systems.
Curatela
Formal methods: practical applications and foundations
Articolo
Model checking for action-based logics
Articolo
Regrouping parallel processes
Articolo
Special issue on the fourth international workshop of the ERCIM working group on formal methods for industrial critical systems
Curatela
Using hybrid automata to support human factors analysis in a critical system
Articolo
No Results Found
