Yassine Lakhnech

Formal techniques, modelling and analysis of timed and fault tolerant systems

Yassine Lakhnech

Esaurito

Yassine Lakhnech Formal techniques, modelling and analysis of timed and fault tolerant systems

Tool Support for System Specification, Development and Verification

Rudolf Berghammer

Esaurito

Rudolf Berghammer Tool Support for System Specification, Development and Verification