Informatik aktuell

Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen

Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002

Editors: Holleczek, Peter, Vogel-Heuser, Birgit (Hrsg.)

Buy this book

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

Table of contents (14 chapters)

  • Sicherheitsgerichtete programmierbare Systeme (PES) in Anlagen mit Gefährdungspotential

    Jülly, Uwe

    Pages 1-10

  • Die Bedeutung der Mensch-Maschine-Schnittstelle für Sicherheit und Zuverlässigkeit von technischen Systemen

    Elzer, P. F.

    Pages 11-20

  • Certification of Real-Time Systems. Consequences on Modeling Tool and Modeling Process

    Motet, Gilles

    Pages 21-30

  • Objektorientierte Modellierung von Echtzeitsystemen für die Automatisierungstechnik mit Überprüfung von Zeitbedingungen im Modell

    Licht, Thomas (et al.)

    Pages 31-40

  • Entwurfsmuster für Echtzeitsysteme

    Baran, Reinhard

    Pages 41-49

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen
Book Subtitle
Fachtagung der GI-Fachgruppe 4.4.2 Echtzeitprogrammierung, PEARL Boppard, 28./29. November 2002
Editors
  • Peter Holleczek
  • Birgit Vogel-Heuser
Series Title
Informatik aktuell
Copyright
2002
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-55713-2
DOI
10.1007/978-3-642-55713-2
Softcover ISBN
978-3-540-44332-2
Series ISSN
1431-472X
Edition Number
1
Number of Pages
VII, 138
Number of Illustrations and Tables
22 b/w illustrations
Topics