Michel Nakhlé

According to our database, Michel Nakhlé authored at least 1 paper in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Applying SafeComp, a Formal Integrated System Modeling Framework, to the Design of a Steam Generator Controller.

Bruno Monsuez, Michel Nakhlé

Proceedings of the 4th International Conference on System Reliability and Safety, 2019