Tramway Route Graph Safety Ontology CASL
|
Publications for keyword "Tramway Route Graph Safety Ontology CASL"
2004
Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004 | , and ,
|