Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Mjeda, Anila"'
Autor:
Mjeda, Anila, Murray, Hazel
Quantum computing presents a transformative potential for the world of computing. However, integrating this technology into the curriculum for computer science students who lack prior exposure to quantum mechanics and advanced mathematics remains a c
Externí odkaz:
http://arxiv.org/abs/2405.09265
Publikováno v:
SAE Transactions, 2007 Jan 01. 116, 130-136.
Externí odkaz:
https://www.jstor.org/stable/44719875
Electronic Communications of the EASST, Volume 79: Second Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2020 Workshop (InterAVT 2020)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::581c1203db9e0c48d0c5e2a79dd4858b
Autor:
Mjeda, Anila, Botterweck, Götz
When designing and analysing autonomous systems and their environment it is necessary to consider uncertainty and multiple potential states (of the system and its environment). In this position paper, we explore the idea of notations and modelling to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::43d28327b9a8c2b627241daeb5d7ee32
Electronic Communications of the EASST, Volume 77: Interactive Workshop on the Industrial Application of Verification and Testing, ETAPS 2019 Workshop (InterAVT 2019)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c0700772151f6863611778381b473b4
Autor:
Mjeda, Anila
Electronic Communications of the EASST, Volume 75: 43rd International Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, 2017 (SOFSEM SRF 2017)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::471256208611a1401d84f0480d1260d7
Autor:
Russo, Barbara, Jaatun, Martin, Abrahamsson, Pekka, Botterweck, Goetz, Ghanbari, Hadi, Kettunen, Petri, Mikkonen, Tommi, Mjeda, Anila, Münch, Jürgen, Duc, Anh, Wang, Xiaofeng
Publikováno v:
International Journal of Systems and Software Security and Protection (IJSSSP); July 2020, Vol. 11 Issue: 2 p38-57, 20p
Publikováno v:
ACM International Conference Proceeding Series; 2/1/2017, p68-75, 8p
Autor:
Mjeda, Anila
peer-reviewed This thesis proposes a new testing method called CTMCONTROL, which enhances the popular Classification Tree Method (CTM) by incorporating Modified Condition/Decision Coverage (MC/DC) capabilities. This brings the CTM closer to the quali
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1249::dbdcc34d69413a8913eb51173d567362