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 44,99 €
price for Spain (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 56,11 €
price for Spain (gross)
  • ISBN 978-3-540-23068-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (9 chapters)

  • Decision Problems for Timed Automata: A Survey

    Alur, Rajeev (et al.)

    Pages 1-24

    Preview Buy Chapter 30,19 €
  • Timed Petri Nets: Efficiency of Asynchronous Systems

    Bihler, Elmar (et al.)

    Pages 25-58

    Preview Buy Chapter 30,19 €
  • Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing)

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

    Pages 59-97

    Preview Buy Chapter 30,19 €
  • Expressiveness of Timed Events and Timed Languages

    Cacciagrano, Diletta R. (et al.)

    Pages 98-131

    Preview Buy Chapter 30,19 €
  • Real Time and Stochastic Time

    Bravetti, Mario

    Pages 132-180

    Preview Buy Chapter 30,19 €

Buy this book

eBook 44,99 €
price for Spain (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 56,11 €
price for Spain (gross)
  • ISBN 978-3-540-23068-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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