InTechOpen uses cookies to offer you the best online experience. By continuing to use our site, you agree to our Privacy Policy.

Engineering » Control Engineering » "Real-Time Systems, Architecture, Scheduling, and Application", book edited by Seyed Morteza Babamir, ISBN 978-953-51-0510-7, Published: April 11, 2012 under CC BY 3.0 license. © The Author(s).

Chapter 6

Construction of Real-Time Oracle Using Timed Automata

By Seyed Morteza Babamir and Mehdi Borhani Dehkordi
DOI: 10.5772/45597