Dependable Computing

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Rogério le Lemos

Themen in »Dependable Computing«

CORBA algorithms architecture calculus communication dependable computing dependable systems embedded systems fault-tolerant systems formal specification quality assurance safety-critical systems systems availability systems performance systems validation

Stimmen zu »Dependable Computing«

Details

Link teilen