AutoReq: Expressing and verifying requirements for control systems

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

Original language	English
Pages (from-to)	131-142
Number of pages	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
Externally published	Yes

AUTOPROOF, SEAMLESS REQUIREMENTS, SPECIFICATION DRIVERS, AUTOREQ, DESIGN BY CONTRACT, EIFFEL, LANDING GEAR SYSTEM, MULTIREQUIREMENTS

ID: 65525274