Universität Bremen  
  FB 3  
  AG BKB > Publikationen > Suche > Deutsch
English
 

Suche nach Veröffentlichungen - Detailansicht

 
Art der Veröffentlichung: Artikel in Konferenzband
Autor: K. Lüttich, B. Krieg-Brückner, T. Mossakowski
Herausgeber: E. Schnieder, G. Tarnai
Titel: Tramway {N}etworks as {R}oute {G}raphs
Buch / Sammlungs-Titel: FORMS/FORMAT 2004 -- Formal Methods for Automation and Safety in Railway and Automotive Systems
Seite(n): 109 – 119
Erscheinungsjahr: 2004
Abstract / Kurzbeschreibung: The purpose of this paper is threefold: (1) to show a methodology for introducing formality step-by-step, starting from a "light-weight'' ontology, (2) to apply it to the generic Route Graph model, instantiated here to Tramway Networks, and (3) to demonstrate that separation of concerns into layers of abstraction and application of generic formal notions such as graph abstraction lead to a useful decomposition of safety properties.
ISBN: 3-9803363-8-7
PDF Version: http://www.informatik.uni-bremen.de/agbkb/publikationen/luettich/tramway-rg.pdf
Schlagworte: Tramway Route Graph Safety Ontology CASL
Status: Reviewed
Letzte Aktualisierung: 08. 10. 2006

 Zurück zum Suchergebnis
 
   
Autor: Automatisch generierte Seite
 
  AG BKB 
Zuletzt geändert am: 23. Februar 2006   impressum