Formal techniques, modelling and analysis of timed and fault tolerant systemsYassine LakhnechUitverkocht4,3Volgen
Tool Support for System Specification, Development and VerificationRudolf BerghammerUitverkocht4,3Volgen
