المؤلفون: Manel Tekaya, Samir Ben Ahmed, Mohamed Taha Bennani, Mohamed Abidi Alagui

المصدر: Advances in Intelligent Systems and Computing ISBN: 9783319192154
DepCoS-RELCOMEX

مصطلحات موضوعية: Model checking, Model-based testing, Computer science, business.industry, Aspect-oriented programming, Automotive industry, Control engineering, Notation, Test case, Control system, MATLAB, business, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::54a41f0543548b3094c0796ad8f5cb79
https://doi.org/10.1007/978-3-319-19216-1_47