Login / Signup
Nicolas Féral
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Knowledge Based Systems
Gentle Introduction
Temporal Logic
Reactive Systems
Top Venues
FMTea
</>
Publications
</>
Nicolas Féral
,
Alain Giorgetti
A Gentle Introduction to Verification of Parameterized Reactive Systems.
FMTea
(2023)
Nicolas Féral
,
Alain Giorgetti
A Gentle Introduction to Verification of Parameterized Reactive Systems.
FMTea
(2022)