Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-модели

Программная инженерия.

Девянин П.Н., Леонова М.А.

2020. Т. 11, № 4. С. 230-241. DOI: 10.17587/prin.11.230-241.

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

Применение подтипов и тотальных функций формального метода Event-B для описания и верификации МРОСЛ ДП-модели