О представлении МРОСЛ ДП-модели в формализованной нотации Event-B

Проблемы информационной безопасности. Компьютерные системы.

Девянин П.Н., Кулямин В.В., Петренко А.К., Хорошилов А.В., Щепетков И.В.

2014. № 3. С. 7–15.

Перейти к источнику

О представлении МРОСЛ ДП-модели в формализованной нотации Event-B