المؤلفون: Houda Ben Attia Sethom, Safa Aloui Dkhil, Mohamed Taha Bennani, Manel Tekaya

المصدر: Theory and Applications of Dependable Computer Systems ISBN: 9783030482558

مصطلحات موضوعية: business.industry, Property (programming), Computer science, Automotive industry, Process (computing), Root cause, computer.software_genre, Fault (power engineering), Domain (software engineering), Automatic transmission system, Segmentation, Data mining, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6a8b288d89acf50ff863d3a8f45289f4
https://doi.org/10.1007/978-3-030-48256-5_1

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

المساهمون: Université de Carthage - University of Carthage, Université de Tunis El Manar (UTM), Université de la Manouba [Tunisie] (UMA), Elvira Albert, Ivan Lanese, TC 6, WG 6.1

المصدر: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319395692
FORTE
Lecture Notes in Computer Science
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.267-274, ⟨10.1007/978-3-319-39570-8_18⟩

مصطلحات موضوعية: Model checking, Test vector generation, Scale (ratio), Computer science, business.industry, Automotive industry, 020207 software engineering, 02 engineering and technology, 020202 computer hardware & architecture, Test (assessment), [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], Computer engineering, Formal language, Metric (mathematics), 0202 electrical engineering, electronic engineering, information engineering, [INFO]Computer Science [cs], business, Algorithm, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ce3c80f4422403adfbcc9460963c7ff
https://doi.org/10.1007/978-3-319-39570-8_18

المؤلفون: 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

المؤلفون: Anis Youssef, Manel Tekaya, Mohamed Taha Bennani

المصدر: 2014 World Symposium on Computer Applications & Research (WSCAR).

مصطلحات موضوعية: Engineering, business.industry, Systems engineering, Automotive industry, business, Test (assessment)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5bff3cf0056c2c97b266cfa562d11383
https://doi.org/10.1109/wscar.2014.6916809