Safety-Critical Real-Time Systems, Softcover reprint of the original 1st ed. 1997
Langue : Anglais
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.
Safety-Critical Real-Time Systems serves as an excellent reference, providing insight into some of the most challenging research issues in the field.
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.
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.
Date de parution : 12-2010
Ouvrage de 90 p.
15.5x23.5 cm
Mots-clés :
Area; Excel; Petri net; architecture; control; dependable computing; field; operating system; operating systems; real-time; real-time system
© 2024 LAVOISIER S.A.S.