Computer-Aided Formal Specification for Concurrent Engineering Platforms
1996 ◽
Vol 1996
(179)
◽
pp. 223-230
Keyword(s):
2005 ◽
Vol 24
(5)
◽
pp. 494-510
◽
Keyword(s):
Keyword(s):
1999 ◽
Vol 6
(3)
◽
pp. 189-212
◽
2001 ◽
Vol 1
(2)
◽
pp. 156-166
◽
2001 ◽
Vol 215
(8)
◽
pp. 1117-1131
◽