Повернутися до подробиць статті Формалізація процесу зміни станів програмних об’єктів складних систем на основі скінченних автоматів Мура Завантажити Завантажити PDF