Title
Modelling and analysis of traffic networks based on graph transformation Modelling and analysis of traffic networks based on graph transformation
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
conferenceObject
Publication
S.l. :IEEE Computer Society Press, [*]
Subject
Computer. Automation
Source (book)
FORMS/FORMAT 2004 : Formal Methods for Automation and Safety in Railway and Automotive Systems, December 2004, Braunschweig, Germany
Carrier
E
Target language
English (eng)