Theoretical Computer Science and General Issues

Formal Modeling and Analysis of Timed Systems

5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings

Editors: Raskin, Jean-Francois, Thiagarajan, P.S. (Eds.)

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-75454-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-75453-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume consists of the proceedings of the Fifth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2007). The main goal of this series of conferences is to bring together diverse communities of researchers that deal with the timing aspects of computing systems. Both fundamental and practical aspects of timed systems are addressed and results reportingnewapplicationdomainsareactivelyencouraged.Further,invitedtalks that survey various aspects of this broad research domain were presented at the conference. FORMATS 2007 was co-located (during October 3–5) as a guest conference attheEmbeddedSystemsWeek,whichconstitutesaweek-longeventthatbrings togetherconferences,tutorialsandworkshopsdealingwithvariousaspectsof- bedded systemsresearchanddevelopment. Embedded Systems Week took place this year at Salzburg, Austria during September 30 - October 5, 2007. Detailed information about FORMATS 2007 can be found at http://www.ulb.ac.be/ di/formats07, while http://www.esweek.org provides an overview of the - bedded Systems Week Event. We would like to thank the organizers of the - bedded Systems Week for enabling FORMATS 2007 to be co-located at this exciting event and for providing valuable logistics support.

Table of contents (25 chapters)

  • Abstraction of Probabilistic Systems

    Katoen, Joost-Pieter

    Pages 1-3

  • From Analysis to Design

    Krogh, Bruce H.

    Pages 4-4

  • Efficient On-the-Fly Algorithms for Partially Observable Timed Games

    Cassez, Franck

    Pages 5-24

  • Undecidability of Universality for Timed Automata with Minimal Resources

    Adams, Sara (et al.)

    Pages 25-37

  • On Timed Models of Gene Networks

    Batt, Grégory (et al.)

    Pages 38-52

Buy this book

eBook $84.99
price for USA (gross)
  • ISBN 978-3-540-75454-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $109.00
price for USA
  • ISBN 978-3-540-75453-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Modeling and Analysis of Timed Systems
Book Subtitle
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings
Editors
  • Jean-Francois Raskin
  • P.S. Thiagarajan
Series Title
Theoretical Computer Science and General Issues
Series Volume
4763
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-75454-1
DOI
10.1007/978-3-540-75454-1
Softcover ISBN
978-3-540-75453-4
Edition Number
1
Number of Pages
X, 372
Topics