Lecture Notes in Computer Science

Formal Methods for the Design of Real-Time Systems

International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

Editors: Bernardo, Marco, Corradini, Flavio (Eds.)

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-540-30080-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.95
price for USA
  • ISBN 978-3-540-23068-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (9 chapters)

  • Decision Problems for Timed Automata: A Survey

    Alur, Rajeev (et al.)

    Pages 1-24

  • Timed Petri Nets: Efficiency of Asynchronous Systems

    Bihler, Elmar (et al.)

    Pages 25-58

  • Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)

    Baeten, J. C. M. (et al.)

    Pages 59-97

  • Expressiveness of Timed Events and Timed Languages

    Cacciagrano, Diletta R. (et al.)

    Pages 98-131

  • Real Time and Stochastic Time

    Bravetti, Mario

    Pages 132-180

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-540-30080-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.95
price for USA
  • ISBN 978-3-540-23068-7
  • 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 Methods for the Design of Real-Time Systems
Book Subtitle
International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures
Editors
  • Marco Bernardo
  • Flavio Corradini
Series Title
Lecture Notes in Computer Science
Series Volume
3185
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-30080-9
DOI
10.1007/b110123
Softcover ISBN
978-3-540-23068-7
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VII, 297
Topics