Towards A Formal Software Development in a Concurrent Engineering Environment: A Space System Case
Keyword(s):
1998 ◽
Vol 79
(1-3)
◽
pp. 155-162
◽
Keyword(s):
1993 ◽
Vol 23
(3)
◽
pp. 175-184
◽