Briand, Lionel[University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > > ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2012
European Conference on Modeling Foundations and Applications
226-243
Yes
No
International
978-3-642-31490-2
European Conference on Modeling Foundations and Applications (ECMFA) 2012
2012
Kgs. Lyngby
Denmark
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)