Showing 1 - 1 results of 1 for search 'FORMATS (Conference) Marseille, France)', query time: 0.02s
Refine Results
-
1
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers
Berlin : Springer, 2004“…FORMATS (Conference) Marseille, France)…”
Call Number: Loading…
Located: Loading…Format: Conference Proceeding Book
//IF NOT LOGGED IN - FORCE LOGIN ?>
//ELSE THEY ARE LOGGED IN PROCEED WITH THE OPEN URL CODE:?>
Search Tools:
Related Subjects
Automate mathématique
Automate temporel
Automates
Automates mathématiques, Théorie des
Automates temporels
Computer simulation
Echtzeitsystem
Formal methods (Computer science)
Formale Methode
Formale Sprache
Machine theory
Méthode formelle
Méthodes formelles (Informatique)
Simulation par ordinateur
Temporal automata
Temporale Logik
Zeitbehafteter Automat
Zeitbewertetes Petri-Netz
Zeitdiskretes System