Automated aspect-oriented decomposition of process-control systems for ultra-high dependability assurance

2005 ◽  
Vol 31 (9) ◽  
pp. 713-732 ◽  
Author(s):  
D. Wang ◽  
F.B. Bastani ◽  
L.-I. Yen
Author(s):  
�. ������� ◽  
◽  
�. ʳ�� ◽  
�. ������� ◽  
�. ������� ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document