Knowledge-based support for system verification during requirements analysis
1991 ◽
Vol 3
(4)
◽
pp. 403-410
◽
Keyword(s):
1996 ◽
Vol 05
(01n02)
◽
pp. 167-183
◽
2017 ◽
Vol 38
(3)
◽
pp. 133-143
◽
Keyword(s):
Keyword(s):