Model-based evaluation: from dependability to security 论文

2004IEEE Transactions on Dependable and Secure Computing引用 508
DOI
Software Reliability and Analysis ResearchSafety Systems Engineering in AutonomyAdvanced Software Engineering Methodologies
Advanced Software Engineering MethodologiesSoftware Reliability and Analysis ResearchSafety Systems Engineering in Autonomy
相关技术:Advanced Software Engineering Methodologies
关系图谱

Model-based evaluation: from dependability to security · 作者

K

Kishor S. Trivedi

W

William H. Sanders

D

David M. Nicol