IEEE - Institute of Electrical and Electronics Engineers, Inc. - Design, modeling and analysis of ITS using UML and Petri Nets

2007 IEEE Intelligent Transportation Systems Conference

Author(s): F. Bonnefoi ; L.M. Hillah ; F. Kordon ; X. Renault
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2007
Conference Location: Seattle, WA, USA
Conference Date: 30 September 2007
Page(s): 314 - 319
ISBN (CD): 978-1-4244-1396-6
ISBN (Paper): 978-1-4244-1395-9
DOI: 10.1109/ITSC.2007.4357718
Regular:

This paper is about the application of formal methods to model and analyze complex systems in the context of Intelligent Transport Systems (ITS). It suggests a specification methodology based on a... View More

Advertisement