Formal techniques, modelling and analysis of timed and fault-tolerant systems : joint international conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings /

Bibliographic Details
Corporate Authors:	FORMATS (Conference) Grenoble, France), SpringerLink (Online service), FTRTFT 2004
Other Authors:	Lakhnech, Y. (Yassine), Yovine, Sergio
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 3253.
Subjects:	Computer simulation > Congresses. Temporal automata > Congresses. Formal methods (Computer science) > Congresses. Machine theory > Congresses. Real-time data processing > Congresses. Fault-tolerant computing > Congresses. Automate temporel. Model-checking (Informatique) Méthode formelle. Simulation par ordinateur. Théorie des automates. Tolérance aux fautes (Informatique) Traitement en temps réel. Simulation par ordinateur > Congrès. Automates temporels > Congrès. Méthodes formelles (Informatique) > Congrès. Automates mathématiques, Théorie des > Congrès. Temps réel > Congrès. Tolérance aux fautes (Informatique) > Congrès. Computer simulation. Fault-tolerant computing. Formal methods (Computer science) Machine theory. Real-time data processing. Temporal automata. Echtzeitsystem. Fehlertoleranz. Formale Methode. Zeitbehafteter Automat. Zeitbewertetes Petri-Netz. Zeitdiskretes System. Grenoble (2004) Electronic books. Kongress > Grenoble > 2004. Conference proceedings. Kongress.
Online Access:	Connect to the full text of this electronic book Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (x, 395 pages) : illustrations
Bibliography:	Includes bibliographical references and index.
ISBN:	3540231676 9783540231677
ISSN:	0302-9743 ;