Grįžti į straipsnio detales Adaptyvių kompiuterinių sistemų formalus modeliavimas ir verifikavimas taikant statistinį modelių patikrinimo metodą
##common.download##