Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Anne-Lise Courbis

Designing and Integrating Complex Systems: Be Agile Through Liveness Verification and Abstraction

English