Marie-Aude Esteve

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Safety Critical

Genetic Algorithm

Formal Analysis

Top Venues

Publications

Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein
Formal correctness, safety, dependability, and performance analysis of a satellite. ICSE (2012)