Formal techniques, modelling and analysis of timed and fault tolerant systemsYassine LakhnechÉpuisé4,3Prévenez-moi
Tool Support for System Specification, Development and VerificationRudolf BerghammerÉpuisé4,3Prévenez-moi
