Формальные методы
в программной инженерии
На главную
© Copyright 2021 Институт Систем Информатики СО РАН, Новосибирский Государственный Университет.
Автоматное программирование. Система Event-B. Видео и слайды лекций:
Автоматное программирование. Лекция 1: Основы
слайды
Автоматное программирование. Лекция 2: Примеры
слайды
Система Event B. Лекция 1: Язык спецификаций Event B
слайды
Система Event-B. Лекция 2: Метод разработки моделей и их верификация в Event-B. Платформа Rodin
слайды
HTML Builder
