Bücher online kaufen
|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
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
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.
ISBN-13:
9781475764635
Veröffentl:
2013
Seiten:
90
Autor:
Bernd Krämer
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
96,29 €*
Lieferzeit: Sofort lieferbar
Alle Preise inkl. MwSt.