Open access

Construction of Real-Time Oracle Using Timed Automata

Written By

Seyed Morteza Babamir and Mehdi Borhani Dehkordi

Submitted: 19 July 2011 Published: 11 April 2012

DOI: 10.5772/45597

From the Edited Volume

Real-Time Systems, Architecture, Scheduling, and Application

Edited by Seyed Morteza Babamir

Chapter metrics overview

2,240 Chapter Downloads

View Full Metrics

Written By

Seyed Morteza Babamir and Mehdi Borhani Dehkordi

Submitted: 19 July 2011 Published: 11 April 2012