论文信息 - Toward a Software Architectural Design Approach for Trusted Software Based on Monitoring: Toward a Software Architectural Design Approach for Trusted Software Based on Monitoring - 字舞流文

Toward a Software Architectural Design Approach for Trusted Software Based on Monitoring: Toward a Software Architectural Design Approach for Trusted Software Based on Monitoring

Tao Wang | Shi Ying | Jing Wen | Huai-Min Wang | You-Cong Ni

[1] Zhenhua Duan,et al. Complexity of propositional projection temporal logic with star , 2009, Math. Struct. Comput. Sci..