Beskrivelse: Formal modeling and analysis of timed systems : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings / Axel Legay, Marius Bozga (eds.).

Summary goes here

Saved in:

Bibliografiske detaljer
Format:	Bog
Sprog:	engelsk
Fag:	Computer simulation Temporal automata Formal methods (Computer science) System analysis Simulation par ordinateur Automates temporels Méthodes formelles (Informatique) Analyse de systèmes computerwetenschappen computer sciences computertechnieken computer techniques computational science software engineering Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Beskrivelse
Summary:	Summary goes here
Emne beskrivelse:	General Notes
Fysisk beskrivelse:	1 online resource (x, 253 pages) :illustrations
ISBN:	9783319105123 3319105124