Étienne André

Étienne André

2 books in the database

Books

Automated Technology for Verification and AnalysisÉtienne André

Automated Technology for Verification and Analysis

Étienne André · 2023

Formal Modeling and Analysis of Timed SystemsÉtienne André

Formal Modeling and Analysis of Timed Systems

Étienne André · 2019