Formal modelling and simulation of train control systems using petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1867-

  Hörste, Michael Meyer Zu ^a   Schnieder, Eckehard ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONTROL SYSTEMS; DESIGN; FORMAL SPECIFICATION; PETRI NETS; QUALITY ASSURANCE; RAILROAD TRANSPORTATION; SOFTWARE DESIGN; SOFTWARE ENGINEERING; SPECIFICATIONS; SYSTEMS ANALYSIS;

ENVIRONMENT MODELING; EUROPEAN TRAIN CONTROL SYSTEMS; NATURAL LANGUAGES; OPERATIONAL SYSTEMS; SOFTWARE DEVELOPMENT CYCLES; SYSTEM DEVELOPMENT; TRAIN CONTROL SYSTEMS; UNIVERSAL APPLICATION;

FORMAL METHODS;

EID: 84949522944     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (0)