Модель ОКМ - это:
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
совокупность проверенных компонентов, спецификаций их временных свойств и условий функционирования, которые проверяются с помощью аппарата асинхронной передачи сообщений(Верный ответ)
совокупность специфицированных компонентов и их временных свойств для обеспечения верификации(Верный ответ)
вычислительная модель системы, заданная на конечном множестве взаимодействующих процессов