IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verifying real-time properties by intelligent parsing

2009 IEEE International Conference on Intelligent Computing and Intelligent Systems (ICIS 2009)

Author(s): Kresic, D.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2009
Conference Location: Shanghai, China, China
Conference Date: 20 November 2009
Volume: 1
Page(s): 527 - 531
ISBN (CD): 978-1-4244-4738-1
ISBN (Paper): 978-1-4244-4754-1
DOI: 10.1109/ICICISYS.2009.5357788
Regular:

In this paper we present a syntax-directed approach to the verification of timing properties in systems like control systems, real-time systems, communication networks etc. Such systems, if... View More

Advertisement