Etienne Le Priol

According to our database, Etienne Le Priol authored at least 1 paper in 2023.

Collaborative distances:

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

2023

Formal verification of observers supervising a cyber-physical system implemented using IEC 61499.

Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin

Proceedings of the 32nd IEEE International Symposium on Industrial Electronics, 2023