Type
Publication
Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018)
Jean-Michel Bruel
Professor of Software Engineering
My research interests include Model-Based Systems Engineering and Requirements Engineering.