Save 40% on select Business & Management books + FREE shipping or 50% on Physics eBooks!

Lecture Notes in Computer Science

Embedded Software

Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings

Editors: Sangiovanni-Vincentelli, Alberto, Sifakis, Joseph (Eds.)

Free Preview

Buy this book

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

Table of contents (30 chapters)

Table of contents (30 chapters)
  • Embedded Systems: Challenges in Specification and Verification

    Pages 1-14

    Pnueli, Amir

  • An Approach to Designing Safe Embedded Software

    Pages 15-29

    Leveson, Nancy G.

  • Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?)

    Pages 30-31

    Harel, David

  • Platform-Based Embedded Software Design for Multi-vehicle Multi-modal Systems

    Pages 32-45

    Koo, T. John (et al.)

  • A Giotto-Based Helicopter Control System

    Pages 46-60

    Kirsch, Christoph M. (et al.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-45828-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-44307-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Embedded Software
Book Subtitle
Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002. Proceedings
Editors
  • Alberto Sangiovanni-Vincentelli
  • Joseph Sifakis
Series Title
Lecture Notes in Computer Science
Series Volume
2491
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-45828-9
DOI
10.1007/3-540-45828-X
Softcover ISBN
978-3-540-44307-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 430
Topics