Étienne André

Étienne André

2 ספרים במאגר

ספרים

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