CORE
🇺🇦Â
 make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
Filters
2 research outputs found
A SysML Test Model and Test Suite for the ETCS Ceiling Speed Monitor:Technical report, Work Package 4
Author
Braunstein CĂ©cile
Haxthausen Anne Elisabeth
+5Â more
Huang Wen-ling
HĂĽbner Felix
Peleska Jan
Schulze Uwe
Vu Linh Hong
Publication venue
Publication date
11/05/2014
Field of study
Get PDF
Online Research Database In Technology
Formal Development and Verification of Railway Control Systems - In the context of ERTMS/ETCS Level 2
Author
Vu Linh Hong
Publication venue
Technical University of Denmark
Publication date
01/01/2015
Field of study
Get PDF
Online Research Database In Technology