Editors:
- Fast track conference proceedings
- Unique visibility
- State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8053)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): FORMATS: International Conference on Formal Modeling and Analysis of Timed Systems
Conference proceedings info: FORMATS 2013.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (18 papers)
-
Front Matter
-
Back Matter
About this book
The 18 revised full papers presented were carefully reviewed and selected from 41 submissions. The book covers topics of foundations and semantics (theoretical foundations of timed systems and languages; comparison between different models, such as timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models); methods and Tools (techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints, e.g., scheduling, worst-case execution time analysis, optimization, model checking, testing, constraint solving, etc.); applications (adaptation and specialization of timing technology in application domains in which timing plays an important role, e.g., real-time software, hardware circuits, and problems of scheduling in manufacturing and telecommunications).
Editors and Affiliations
-
Facultad de Ciencias Exactas y Naturales, Departamento de Computación, Universidad de Buenos Aires, Buenos Aires, Argentina
Víctor Braberman
-
LSV, CNRS & ENS de Cachan, Cachan Cedex, France
Laurent Fribourg
Bibliographic Information
Book Title: Formal Modeling and Analysis of Timed Systems
Book Subtitle: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, Proceedings
Editors: Víctor Braberman, Laurent Fribourg
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-40229-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-40228-9Published: 08 August 2013
eBook ISBN: 978-3-642-40229-6Published: 23 July 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 275
Number of Illustrations: 70 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Probability and Statistics in Computer Science