IEEE - Institute of Electrical and Electronics Engineers, Inc. - Integration of Model-Checking Tools: from Discrete to Hybrid Models

2007 IEEE International Multitopic Conference (INMIC '07)

Author(s): W.A. Mufti ; D.C. Tcherukine
Sponsor(s): IEEE Lahore Sect.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 December 2007
Conference Location: Lahore, Pakistan
Conference Date: 28 December 2007
Page(s): 1 - 4
ISBN (CD): 978-1-4244-1553-3
ISBN (Paper): 978-1-4244-1552-6
DOI: 10.1109/INMIC.2007.4557699
Regular:

To develop correct models for Hybrid and Discrete control systems requires a modeling language to express all important aspects of system behavior. Enabling one modeling language to understand the... View More

Advertisement