Formal Requirements

Jean-Michel Bruel

Professor of Software Engineering

My research interests include Model-Based Systems Engineering and Requirements Engineering.