AutoReq: Expressing and verifying requirements for control systems › Research Explorer

Novosibirsk State University's Research Portal

AutoReq: Expressing and verifying requirements for control systems

Research output: Contribution to journal › Article › peer-review

Informatics Systems Section

Links

https://linkinghub.elsevier.com/retrieve/pii/S1045926X18301514

DOI

https://doi.org/10.1016/j.cola.2019.02.004
Final published version

Alexandr Naumchev
Bertrand Meyer
Manuel Mazzara
Florian Galinier
Jean-Michel Bruel
Sophie Ebersold

Original language	English
Pages (from-to)	131-142
Journal	Journal of Computer Languages
Volume	51
DOIs	https://doi.org/10.1016/j.cola.2019.02.004
Publication status	Published - 1 Apr 2019

ID: 65525274