--- _id: '3859' abstract: - lang: eng text: This book constitutes the proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2010, held in Klosterneuburg, Austria in September 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition, the volume contains 3 invited talks and 2 invited tutorials.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share an interest in the modeling and analysis of timed systems. Typical topics include foundations and semantics, methods and tools, and applications. alternative_title: - LNCS citation: ama: Chatterjee K, Henzinger TA, eds. Formal Modeling and Analysis of Timed Systems. Vol 6246. Springer; 2010. doi:10.1007/978-3-642-15297-9 apa: 'Chatterjee, K., & Henzinger, T. A. (Eds.). (2010). Formal modeling and analysis of timed systems (Vol. 6246). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9' chicago: Chatterjee, Krishnendu, and Thomas A Henzinger, eds. Formal Modeling and Analysis of Timed Systems. Vol. 6246. Springer, 2010. https://doi.org/10.1007/978-3-642-15297-9. ieee: K. Chatterjee and T. A. Henzinger, Eds., Formal modeling and analysis of timed systems, vol. 6246. Springer, 2010. ista: Chatterjee K, Henzinger TA eds. 2010. Formal modeling and analysis of timed systems, Springer,p. mla: Chatterjee, Krishnendu, and Thomas A. Henzinger, editors. Formal Modeling and Analysis of Timed Systems. Vol. 6246, Springer, 2010, doi:10.1007/978-3-642-15297-9. short: K. Chatterjee, T.A. Henzinger, eds., Formal Modeling and Analysis of Timed Systems, Springer, 2010. conference: end_date: 2010-09-10 location: Klosterneuburg, Austria name: 'FORMATS: Formal Modeling and Analysis of Timed Systems' start_date: 2010-09-08 date_created: 2018-12-11T12:05:33Z date_published: 2010-09-20T00:00:00Z date_updated: 2019-11-14T08:42:42Z day: '20' department: - _id: KrCh - _id: ToHe doi: 10.1007/978-3-642-15297-9 editor: - first_name: Krishnendu full_name: Chatterjee, Krishnendu id: 2E5DCA20-F248-11E8-B48F-1D18A9856A87 last_name: Chatterjee orcid: 0000-0002-4561-241X - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000−0002−2985−7724 intvolume: ' 6246' language: - iso: eng month: '09' oa_version: None publication_status: published publisher: Springer publist_id: '2322' quality_controlled: '1' related_material: link: - description: eBook available via IST BookList relation: other url: https://koha.app.ist.ac.at/cgi-bin/koha/opac-detail.pl?biblionumber=12721 status: public title: Formal modeling and analysis of timed systems type: conference_editor user_id: 3E5EF7F0-F248-11E8-B48F-1D18A9856A87 volume: 6246 year: '2010' ...