IEEE - Institute of Electrical and Electronics Engineers, Inc. - Time abstraction in timed /spl mu/CRL a la regions

Proceedings. 20th International Parallel and Distributed Processing Symposium

Author(s): J.F. Groote ; M.A. Reniers ; Y.S. Usenko
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2006
Conference Location: Rhodes Island, Greece
Conference Date: 25 April 2006
ISBN (Paper): 1-4244-0054-6
DOI: 10.1109/IPDPS.2006.1639423
Regular:

We present the first step towards combining the best parts of the real-time verification methods based on timed automata (the use of regions and zones), and of the process-algebraic approach of... View More

Advertisement