,

Safety-Critical Real-Time Systems

Paperback Engels 2010 9781441950192
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:9781441950192
Taal:Engels
Bindwijze:paperback
Aantal pagina's:90
Uitgever:Springer US
Druk:0

Lezersrecensies

Wees de eerste die een lezersrecensie schrijft!

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.

Managementboek Top 100

Rubrieken

    Personen

      Trefwoorden

        Safety-Critical Real-Time Systems