Etienne Le Priol

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Cyber Physical Systems

Formal Verification

Top Venues

Publications

Polina Ovsiannikova, Etienne Le Priol, Vincent Perret, Pranay Jhunjhunwala, Midhun Xavier, Valeriy Vyatkin
Formal verification of observers supervising a cyber-physical system implemented using IEC 61499. ISIE (2023)