Open access peer-reviewed chapter

Construction of Real-Time Oracle Using Timed Automata

By Seyed Morteza Babamir and Mehdi Borhani Dehkordi

Submitted: July 19th 2011Reviewed: March 6th 2012Published: April 11th 2012

DOI: 10.5772/45597

Downloaded: 1454

© 2012 The Author(s). Licensee IntechOpen. This chapter is distributed under the terms of the Creative Commons Attribution 3.0 License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to cite and reference

Link to this chapter Copy to clipboard

Cite this chapter Copy to clipboard

Seyed Morteza Babamir and Mehdi Borhani Dehkordi (April 11th 2012). Construction of Real-Time Oracle Using Timed Automata, Real-Time Systems, Architecture, Scheduling, and Application Seyed Morteza Babamir, IntechOpen, DOI: 10.5772/45597. Available from:

Embed this chapter on your site Copy to clipboard

<iframe src="http://www.intechopen.com/embed/real-time-systems-architecture-scheduling-and-application/construction-of-rea-time-oracle-using-timed-automata-" />

Embed this code snippet in the HTML of your website to show this chapter

chapter statistics

1454total chapter downloads

More statistics for editors and authors

Login to your personal dashboard for more detailed statistics on your publications.

Access personal reporting

Related Content

This Book

Next chapter

Handling Overload Conditions in Real-Time Systems

By Giorgio C. Buttazzo

Related Book

Frontiers in Guided Wave Optics and Optoelectronics

Edited by Bishnu Pal

First chapter

Frontiers in Guided Wave Optics and Optoelectronics

By Bishnu Pal

We are IntechOpen, the world's leading publisher of Open Access books. Built by scientists, for scientists. Our readership spans scientists, professors, researchers, librarians, and students, as well as business professionals. We share our knowledge and peer-reveiwed research papers with libraries, scientific and engineering societies, and also work with corporate R&D departments and government entities.

+3,550 Open Access Books

+57,400 Citations in Web of Science

+108,500 IntechOpen Authors and Academic Editors

+560,000 Unique visitors per month

More about us