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