Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers /

Bibliographic Details
Corporate Authors:	FORMATS (Conference) Marseille, France), SpringerLink (Online service)
Other Authors:	Larsen, K. G. (Kim G.), 1957-, Niebert, Peter
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 2004.
Series:	Lecture notes in computer science ; 2791.
Subjects:	Computer simulation > Congresses. Temporal automata > Congresses. Formal methods (Computer science) > Congresses. Machine theory > Congresses. Automate mathématique. Automate temporel. méthode formelle. Simulation par ordinateur. Automates mathématiques, Théorie des > Congrès. Automates temporels > Congrès. Automates > Congrès. Méthodes formelles (Informatique) > Congrès. Simulation par ordinateur > Congrès. Computer simulation. Formal methods (Computer science) Machine theory. Temporal automata. Méthode formelle. Echtzeitsystem. Formale Methode. Formale Sprache. Temporale Logik. Zeitbehafteter Automat. Zeitbewertetes Petri-Netz. Zeitdiskretes System. Marseille (2003) FORMATS Timed systems Formal modeling Electronic books. Kongress > Marseille > 2003. Conference proceedings. Kongress.
Online Access:	Connect to the full text of this electronic book http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2791

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (viii, 280 pages) : figures, table
Bibliography:	Includes bibliographical references.
ISBN:	3540216715 9783540216711
ISSN:	0302-9743 ;