Formal Modeling and Analysis of Timed Systems 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Asarin, Eugene (Επιμελητής έκδοσης), Bouyer, Patricia (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
• Σειρά: Lecture Notes in Computer Science, 4202
• Θέματα: Computer science.; Special purpose computers.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Special Purpose and Application-Based Systems.

This volume contains the proceedings of the 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2006), held in Paris (France) on September 25-27, 2006. FORMATS aims to be a major - nual event dedicated to the study of timed systems, uniting three independently sta...