Daukševič, D. (2023). Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą. Vilnius University Open Series, 15-25. https://doi.org/10.15388/LMITT.2023.2