Login / Signup
Yan Zhang
Publication Activity (10 Years)
Years Active: 2010-2014
Publications (10 Years): 0
Top Topics
Timed Petri Nets
Simple Temporal
Discrete Event
Controller Design
Top Venues
Int. J. Crit. Comput. Based Syst.
FTfJP@ECOOP
</>
Publications
</>
Yan Zhang
,
Béatrice Bérard
,
Lom-Messan Hillah
,
Fabrice Kordon
,
Yann Thierry-Mieg
Controllability for discrete event systems modelled in VeriJ.
Int. J. Crit. Comput. Based Syst.
5 (3/4) (2014)
Yan Zhang
,
Béatrice Bérard
,
Lom-Messan Hillah
,
Yann Thierry-Mieg
Semi-automatic controller design of Java-like models.
FTfJP@ECOOP
(2013)
Yan Zhang
,
Béatrice Bérard
,
Fabrice Kordon
,
Yann Thierry-Mieg
Automated controllability and synthesis with hierarchical set decision diagrams.
WODES
(2010)