Völker / Krämer | Safety-Critical Real-Time Systems | Buch | 978-0-7923-8022-1 | sack.de

Buch, Englisch, 90 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 325 g

Völker / Krämer

Safety-Critical Real-Time Systems


<em>Nachdrucked from REAL-TIME SYSTEMS, 13:3</em> 1997
ISBN: 978-0-7923-8022-1
Verlag: Springer US

Buch, Englisch, 90 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 325 g

ISBN: 978-0-7923-8022-1
Verlag: Springer US


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.

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

Zielgruppe


Research

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.