List of works - Étienne André - Paulina

List of works by Étienne André

Formalizing UML State Machines for Automated Verification – A Survey

scientific article published on 17 January 2023

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance

scientific article published on 21 May 2024

Paulina is supported by:

About Paulina

Help