Degeler, V., Hadadian, M., Karabulut, E., Lazovik, A., Loo, H. V. H., Tello, A. & Truong,
H., 2024, Leveraging
Applications of Formal Methods, Verification and Validation :
Application Areas. Margaria, T. & Steffen, B. (uitgave).
Springer International Publishing, Cham, Switzerland,
blz. 62-8221 blz.
Tello, A., Truong,
H., Lazovik, A. & Degeler,
V., 6-mei-2024, (Accepted/In press)
Engineering Proceedings.Multidisciplinary Digital
Publishing Institute (MDPI), 6
blz.
Tello, A., Degeler, V. & Lazovik, A., 23-apr.-2024, 2024 IEEE International
Conference on Pervasive Computing and Communications Workshops and
other Affiliated Events, PerCom Workshops 2024.IEEE, blz. 511-5177 blz. (2024 IEEE International
Conference on Pervasive Computing and Communications Workshops and
other Affiliated Events, PerCom Workshops 2024).
Yousefi, M. H. N., Degeler, V. & Lazovik, A., 12-okt.-2023, Service-Oriented Computing:
17th Symposium and Summer School, SummerSOC 2023 Heraklion, Crete,
Greece, June 25 – July 1, 2023 . Aiello, M., Barzen, J.,
Dustdar, S. & Leymann , F. (uitgave). Cham:
Springer, blz. 24-4420 blz. (Communications in Computer
and Information Science; vol. 1847).
