Obálkyknih.cz - Jihočeská vědecká knihovna v Českých Budějovicích

oprava existující anotace, přidání nové anotace

Název:		Formal modeling and analysis of timed systems 6th International Conference, FORMATS 2008 : Saint Malo, France, September 15-17, 2008 : proceedings
Autor:
Rok vydání:		c2008
Identifikátory:		9783540857778

Upravte stávající anotaci nebo vložte anotaci novou.
Anotace:	<P>This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008.</P> <P>The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verification and test; timed petri nets.</P>
	Souhlasím s využitím anotace pro potřeby projektu obálkyknih.cz. Obsah neporušuje autorská práva.(povinné)