Daukševič, D. Adaptyvių Kompiuterinių Sistemų Formalus Modeliavimas Ir Verifikavimas Taikant Statistinį Modelių Patikrinimo Metodą. open-series 2023, 15-25. https://doi.org/10.15388/LMITT.2023.2.