Kansikuva

Summary goes here

Tallennettuna:
Bibliografiset tiedot
Aineistotyyppi: Kirja
Kieli:englanti
Aiheet:
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.
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!