Formal modeling and analysis of timed systems : 8th international conference : proceedings, FORMATS, Klosterneuburg, Austria, Sept. 8-10, 2010 (e-book)

Formal modeling and analysis of timed systems : 8th international conference : proceedings, FORMATS, Klosterneuburg, Austria, Sept. 8-10, 2010 (e-book) - Berlin Springer 2010 - Lecture Notes in Computer Science (LNCS) v.6246 LNCS Sublibrary : SL 1 – Theoretical computer science and general issues .

978-3-642-15297-9


Computer Science and Engineering
Computer simulation--Congresses
Temporal automata--Congresses
Formal methods (Computer science)--Congresses

Powered by Koha