oaioai:dspace.mit.edu:1721.1/30403

The Theory of Timed I/O Automata

Authors
Publication date
27 August 2003
Publisher

Abstract

Revised version -- November 23, 2004.This paper presents the Timed Input/Output Automaton (TIOA) modeling framework, a basic mathematical framework to support description and analysis of timed systems

    Similar works

    Full text

    thumbnail-image

    DSpace@MIT

    redirect
    oaioai:dspace.mit.edu:1721.1/3040...
    Last time updated on 11/06/2012

    This paper was published in DSpace@MIT.

    Having an issue?

    Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.