Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems.

Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa

Browse the full SoMeT paper archive.