Safety-critical systems, formal methods and standards 论文

1993Software Engineering Journal引用 294
DOI
Software Reliability and Analysis ResearchFormal Methods in VerificationSafety Systems Engineering in Autonomy
Formal Methods in VerificationSoftware Reliability and Analysis ResearchSafety Systems Engineering in Autonomy
相关技术:Formal Methods in Verification
关系图谱

Safety-critical systems, formal methods and standards · 相关文章

暂无数据