IRIT, Univ. Paul Sabatier, ACADIE

Selma Djeddai

Thesis: Combining formal verification environments and model-driven engineering.

Online copy


Last modified: Fri Jul 3 18:28:03 CEST 2015