Daukševič D. Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą. open-series [Prieiga per internetą]. 2023 m.gegužės11 d. [žiūrėta 2025 m.spalio28 d.];:15-2. Adresas: https://test.zurnalai.vu.lt/open-series/article/view/32215