<--- Back to Details
First PageDocument Content
Timed automaton / Multiset / Mathematics / Automaton / Models of computation / Mobile membranes
Date: 2015-12-18 06:55:15
Timed automaton
Multiset
Mathematics
Automaton
Models of computation
Mobile membranes

Fundamenta Informaticae XX–19 1 IOS Press

Add to Reading List

Source URL: pages.di.unipi.it

Download Document from Source Website

File Size: 4,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