Komentáře: Formal modeling and analysis of timed systems : 7th international conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009 : proceedings / Joël Ouaknine, Frits W. Vaandrager, (eds.).

Summary goes here

Uloženo v:

Podrobná bibliografie
Médium:	Kniha
Jazyk:	angličtina
Témata:	Computer simulation Temporal automata Formal methods (Computer science) Robots Robotics. Computer Simulation Computing Methodologies Robotics Simulation par ordinateur Automates temporels Méthodes formelles (Informatique) Simulation par ordinateur. Robotique. simulation. Temporal automata. Robots. Computer simulation. Informatique. Echtzeitsystem Formale Methode Hybrides System Model Checking Temporale Logik Zeitbehafteter Automat Zeitbewertetes Petri-Netz Zeitdiskretes System Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Budapest (2009) Kongress.
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!