Bücher online kaufen
Safety-Critical Real-Time Systems
Langbeschreibung
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
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.
ISBN-13:
9781441950192
Veröffentl:
2010
Erscheinungsdatum:
03.12.2010
Seiten:
100
Autor:
Norbert Völker
Gewicht:
166 g
Format:
235x155x6 mm
Sprache:
Englisch
106,99 €*
Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktageni
Alle Preise inkl. MwSt.
| zzgl. Versand