Krämer / Völker | Safety-Critical Real-Time Systems | E-Book | sack.de
E-Book

E-Book, Englisch, 90 Seiten, eBook

Krämer / Völker Safety-Critical Real-Time Systems


Erscheinungsjahr 2013
ISBN: 978-1-4757-6463-5
Verlag: Springer US
Format: PDF
 Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 90 Seiten, eBook

ISBN: 978-1-4757-6463-5
Verlag: Springer US
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Safety-Critical Real-Time Systems

brings together in one place important contributions and up-to-date research results in this fast moving area.

Safety-Critical Real-Time Systems

serves as an excellent reference, providing insight into some of the most challenging research issues in the field.

Krämer / Völker Safety-Critical Real-Time Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Krämer, Bernd
Völker, Norbert

Weitere Infos & Material

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems.- A Highly Dependable Computing Architecture for Safety-Critical Control Applications.- The ProCoS Approach to Correct Systems.- Building Large, Complex, Distributed Safety-Critical Operating Systems.- Contributing Authors.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.