Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems. (Vérification de propriétés faiblement dures des systèmes quasi-synchrones)

Gideon Smeding. Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems. (Vérification de propriétés faiblement dures des systèmes quasi-synchrones). PhD thesis, University of Grenoble, France, 2013. [doi]

Abstract

Abstract is missing.