Marco Celia

According to our database, Marco Celia authored at least 1 paper in 2017.

Collaborative distances:

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

2017

Generation of simulink monitors for control applications from formal requirements.

Alessio Balsini, Marco Di Natale, Marco Celia, Vassilios A. Tsachouridis

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017