by Németh, Gábor Árpád
Published in Teaching Mathematics and Computer Science (12.10.2020)

by Gebizli, Ceren Şahin, Sözer, Hasan
Published in Software quality journal (01.09.2017)

by Dommelen, Xavier Manuel van, Bijl, Machiel van der, Pimentel, Andy
Published in Formal Methods for Industrial Critical Systems (2022)

by Schulze, Christoph, Ganesan, Dharmalingam, Lindvall, Mikael, McComas, Dave, Cudmore, Alan
Published in Proceedings - International Symposium on Software Reliability Engineering (01.11.2013)

by Luthmann, Lars, Gerecht, Timo, Stephan, Andreas, Bürdek, Johannes, Lochau, Malte
Published in The Journal of systems and software (01.03.2019)

by Meixner, Kristof, Kathrein, L., Winkler, D., Luder, Arndt, Biffl, Stefan
Published in Proceedings (IEEE International Conference on Emerging Technologies and Factory Automation) (01.09.2020)

by Bonacchi, A., Fantechi, A., Bacherini, S., Tempestini, M.
Published in Science of computer programming (15.10.2016)

by Kos, Tomaž, Mernik, Marjan, Kosar, Tomaž
Published in Applied sciences (01.11.2019)

by Huang, Yechao, Shu, Ting, Ding, Zuohua
Published in IEEE access (2021)

by Holzmann, Hendrik, Landersheim, Volker, Piram, Udo, Bartolozzi, Riccardo, Stoll, Georg, Atzrodt, Heiko
Published in Vehicles (01.01.2023)

by Ferreira, Larissa, Nogueira, Sidney, Lima, Lucas, Fonseca, Liliane, Ferreira, Waldemar
Published in Proceedings of the ACM-IEEE International Symposium on Empirical Software Engineering and Measurement (01.09.2019)

by Alsmadi, Izzat, Munakami, Milson, Dianxiang Xu
Published in 2015 Second International Conference on Trustworthy Systems and Their Applications (01.07.2015)

by Shin, Donghwan, Jee, Eunkyoung, Bae, Doo-Hwan
Published in Software and systems modeling (01.07.2016)

by SHAH, VIPUL ARVIND, PATEL, SACHIN, GUPTA, PRIYA
Year of Publication 10.04.2015

by DIXIT, SAMPATKUMAR, N, PATEL, SACHIN, GUPTA, PRIYA, SHAM, VIPUL, ARVIND
Year of Publication 30.10.2014

by Gulan, Stefan, Harnisch, Jens, Johr, Sven, Kretschmer, Roberto, Rieger, Stefan, Zalman, Rafael
Published in Computer Safety, Reliability, and Security (2015)

by Stenbakken, G.N.
Published in IEEE transactions on instrumentation and measurement (01.04.1996)

by Li, Xiaochen, Zhao, Ruilian, Shang, Ying
Published in International Conference on Dependable Systems and Their Applications (Online) (01.08.2022)

Published in Indian Patents News (27.04.2015)

by Lima, Bruno
Published in 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) (01.04.2019)