An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems
1990 ◽
Vol 27
(9)
◽
pp. 790-801
◽
1987 ◽
Vol 12
(4)
◽
pp. 36-42
◽
Keyword(s):
1997 ◽
Vol 103
(1)
◽
pp. 46
Keyword(s):
Keyword(s):
1988 ◽
Vol 104
(3)
◽
pp. 363-372
◽