Login / Signup
Yves-Marie Bozec
ORCID
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Automated Verification
Reactive Systems
Temporal Properties
Bounded Model Checking
Top Venues
Environ. Model. Softw.
</>
Publications
</>
Christine Largouët
,
Marie-Odile Cordier
,
Yves-Marie Bozec
,
Yulong Zhao
,
Guy Fontenelle
Use of timed automata and model-checking to explore scenarios on ecosystem models.
Environ. Model. Softw.
30 (2012)