Обзор курса ‘Количественная проверка моделей’ на Coursera
Enroll Course: https://www.coursera.org/learn/quantitative-model-checking Курс ‘Количественная проверка моделей’: Повышаем надежность программного обеспечения В современном мире, где технологии пронизывают практически все аспекты жизни, от встроенных систем до транспортных систем, необходимость в надежном…