Nassir Shafieidizaji

Publication Activity (10 Years)

Years Active: 2010-2010
Publications (10 Years): 0

Publications

Heng Kuang, Jamal Bentahar, Olga Ormandjieva, Nassir Shafieidizaji, Stan Klasa
Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems. SoMeT (2010)