Electronic Communications of the EASST
is a peer-reviewed, scientific and open access journal
ISSN 1863-2122

Ait-Ameur, Yamine, IRIT; INP, France

• Volume 74: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Doctoral Symposium, 2016 (ISoLA DS 2016) - Articles
  Handling Domain Knowledge in Design and Analysis of Engineering Models
  Abstract  PDF

Hosted By Universitätsbibliothek TU Berlin.