Tirohanga kaimahi: Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).

Summary goes here

I tiakina i:

Ngā taipitopito rārangi puna kōrero
Hōputu:	Pukapuka
Reo:	Ingarihi
Ngā marau:	Computer simulation Temporal automata Formal methods (Computer science) System analysis Simulation par ordinateur Automates temporels Méthodes formelles (Informatique) Analyse de systèmes Informatique. Conference papers and proceedings Software.
Ngā Tūtohu:	Tāpirihia he Tūtohu Kāore He Tūtohu, Me noho koe te mea tuatahi ki te tūtohu i tēnei pūkete!

era
format	Book
genre
geographic
id	2365e8e8-321e-45ba-8707-7aa415eec654
isbn	9783642333651 3642333656 3642333648 9783642333644
issn
language	eng
physical	1 online resource :illustrations (chiefly color)
publication	– publisher: Springer dateOfPublication: ©2012
publishDate	©2012
subjects
title	Formal modeling and analysis of timed systems : 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings / Marcin Jurdziński, Dejan Ničković (eds.).
topic	Computer simulation Temporal automata Formal methods (Computer science) System analysis Simulation par ordinateur Automates temporels Méthodes formelles (Informatique) Analyse de systèmes Informatique. Computer simulation Formal methods (Computer science) System analysis Temporal automata Conference papers and proceedings Software.