Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Attività
Competenze
Attrezzature
IT
EN
☰
UNI-FIND
|
UNI-FIND
unirc.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Attività
Competenze
Attrezzature
☰
Pubblicazioni
THE JOURNAL OF SYSTEMS AND SOFTWARE
Rivista
Codice:
E093971
ISSN:
0164-1212
Dati Generali
Dati Generali
Pubblicazioni (2)
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
Articolo
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
Articolo
No Results Found
