Login / Signup
Michel Nakhlé
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Modeling Framework
Closed Loop
Top Venues
ICSRS
</>
Publications
</>
Bruno Monsuez
,
Michel Nakhlé
Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator Controller.
ICSRS
(2019)