Safety-Critical Real-Time Systems
(Sprache: Englisch)
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...
Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the most...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
109.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Safety-Critical Real-Time Systems “
Klappentext zu „Safety-Critical Real-Time Systems “
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.
Inhaltsverzeichnis zu „Safety-Critical Real-Time Systems “
- Editorial; B. Krämer- A Systematic Approach to the Petri net Based Specification of Concurrent Systems; A. Mazzeo, et al.
- A Highly Dependable Computing Architecture for Safety-Critical Control Applications; B. Krämer, N. Völker
- The ProCoS Approach to Correct Systems; H. Langmaack
- Building large, Complex, Distributed Safety-Critical Operating Systems; H.F. Wedde, J.A. Lind
Bibliographische Angaben
- 2010, Softcover reprint of the original 1st ed. 1997, IV, 90 Seiten, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Bernd J. Krämer, Norbert Völker
- Verlag: Springer, Berlin
- ISBN-10: 1441950192
- ISBN-13: 9781441950192
Sprache:
Englisch
Kommentar zu "Safety-Critical Real-Time Systems"
Schreiben Sie einen Kommentar zu "Safety-Critical Real-Time Systems".
Kommentar verfassen