Thanh-Hung Nguyen
发表
J. Blech,
Thanh-Hung Nguyen,
2010
.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2014,
Software & Systems Modeling.
Thanh-Hung Nguyen,
Yliès Falcone,
Marius Bozga,
2011,
SEFM.
Axel Legay,
Doron A. Peled,
Thanh-Hung Nguyen,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Thanh-Hung Nguyen,
Alberto Pardo,
Marius Bozga,
2011
.
Thanh-Hung Nguyen,
Thanh-Hung Nguyen,
2010
.
Hsien-I Lin,
Liang-Chia Chen,
Dinh-Cuong Hoang,
2016
.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.
J. Sifakis,
Axel Legay,
M. Bozga,
2016,
Software & Systems Modeling.
Thanh-Hung Nguyen,
Matthieu Gallien,
Saddek Bensalem,
2009,
IEEE Robotics & Automation Magazine.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2011,
NASA Formal Methods.
Joseph Sifakis,
Thanh-Hung Nguyen,
Marius Bozga,
2011,
IEEE Software.
Thanh-Hung Nguyen,
Yliès Falcone,
Marius Bozga,
2015,
Software & Systems Modeling.
Joseph Sifakis,
Thanh-Hung Nguyen,
Marius Bozga,
2009,
CAV.
Thanh-Hung Nguyen,
Thanh-Hung Nguyen,
2014
.
Joseph Sifakis,
Thanh-Hung Nguyen,
Charles Lesire,
2008,
ECAI.
Thanh-Hung Nguyen,
Matthieu Gallien,
Saddek Bensalem,
2008
.
Joseph Sifakis,
Axel Legay,
Thanh-Hung Nguyen,
2010,
Formal Methods in Computer Aided Design.
Jan Olaf Blech,
Thanh-Hung Nguyen,
Michaël Périn,
2010,
WING@ETAPS/IJCAR.