Bernd Krämer,
Norbert Völker
Springer US
0e druk, 1997
9780792380221
Safety-Critical Real-Time Systems
Specificaties
Gebonden, 90 blz.
|
Engels
Springer US |
0e druk, 1997
ISBN13: 9780792380221
Rubricering
Verwachte levertijd ongeveer 9 werkdagen
Samenvatting
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.
Specificaties
ISBN13:9780792380221
Taal:Engels
Bindwijze:gebonden
Aantal pagina's:90
Uitgever:Springer US
Druk:0
Hoofdrubriek:Databases, Computer en informatica
Inhoudsopgave
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.