Gianluca Barbon. Debugging of Behavioural Models using Counterexample Analysis. (Débogage de modèles comportementaux par analyse de contre-exemple). PhD thesis, Grenoble Alpes University, France, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.