Automated aspect-oriented decomposition of process-control systems for ultra-high dependability assurance
2005 ◽
Vol 31
(9)
◽
pp. 713-732
◽
Keyword(s):
2019 ◽
Vol 9
(1)
◽
Keyword(s):
1993 ◽