<--- Back to Details
First PageDocument Content
Finite automata / Timed automaton / Muller automaton / Deterministic automaton / Finite-state machine / Regular language / Nondeterministic finite automaton / Alphabet / Automata theory / -automaton
Date: 2014-03-05 16:37:08
Finite automata
Timed automaton
Muller automaton
Deterministic automaton
Finite-state machine
Regular language
Nondeterministic finite automaton
Alphabet
Automata theory
-automaton

PII:

Add to Reading List

Source URL: www.cis.upenn.edu

Download Document from Source Website

File Size: 3,12 MB

Share Document on Facebook

Similar Documents

Models of computation / Concurrency / Petri net / Synchronization / Process calculus / Transition system / Computing / Abstraction / Metaphor / Timed automaton

The Compositional Speci cation of Timed Systems A Tutorial Joseph Sifakis

DocID: 1qQzE - View Document

Abstraction / Model checkers / Timed automaton / Uppaal Model Checker / Model checking / Is-a / Software engineering / Computing / Computer programming

Microsoft Word - Gomaa-ACES2011-submitted-4August2011.docx

DocID: 1qFi8 - View Document

Finite automata / Timed automaton / Logic in computer science / Automated planning and scheduling / Fluent / Finite-state machine / Theoretical computer science / Planning Domain Definition Language / Models of computation

Microsoft Word - IBSAlgorithms.doc

DocID: 1qBzD - View Document

Base / General topology / Timed automaton / Mathematics

C:/Users/giorgio/Documents/CVS_TAHN/main.dvi

DocID: 1qwDr - View Document

Timed automaton / Base / Topology / Routing algorithms / Network theory

On the Verification of Timed Ad Hoc Networks Parosh Aziz Abdulla1 , Giorgio Delzanno2 , Othmane Rezine1 , Arnaud Sangnier3⋆ , and Riccardo Traverso2 1 Uppsala University

DocID: 1pyh8 - View Document