AutoReq: Expressing and verifying requirements for control systems

Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

Язык оригинала	английский
Страницы (с-по)	131-142
Журнал	Journal of Computer Languages
Том	51
DOI	https://doi.org/10.1016/j.cola.2019.02.004
Состояние	Опубликовано - 1 апр. 2019

ID: 65525274