Skip to Main Content (Press Enter)
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Projects
Expertise & Skills
IT
EN
☰
UNI-FIND
|
UNI-FIND
unirc.it
IT
EN
×
Home
Degrees
Courses
Jobs
People
Outputs
Organizations
Projects
Expertise & Skills
☰
Outputs
THE JOURNAL OF SYSTEMS AND SOFTWARE
Journal
Identifier:
E093971
ISSN:
0164-1212
Overview
Overview
Outputs (2)
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers
Academic Article
Security modelling and formal verification of survivability properties: Application to cyber–physical systems
Academic Article
No Results Found
