[IEEE 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) - Jeju Island, Korea (South) (2019.9.23-2019.9.27)] 2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) - An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems
Trakhtenbrot, MarkYear:
2019
DOI:
10.1109/rew.2019.00025
File:
PDF, 194 KB
2019