Комментарии: 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

Сохранить в:

Библиографические подробности
Формат:	‌
Язык:	английский
Предметы:	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.
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

Ваш комментарий будет первым!