Keyword: "Tramway Route Graph Safety Ontology CASL" - A Web Based Annotated Bibliography - Aigaion 2.0

BROWSE
EXPORT
- Export all publications
SORT BY
- Author
- Title
- Type/Journal
- Year
- Recently added
SITE
- Help
- About this site
GUEST USER
Topic Subscribe
LOGIN
Name:

Password:

Deutsch, English, Nederlands, Norsk, <more...>

K. Lüttich, B. Krieg-Brückner and T. Mossakowski, Tramway Networks as Route Graphs, in: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems, pages 109-119, 2004

download

processing time: 0.0383 seconds.