Météor: A Successful Application of B in a Large Project 论文

1999Lecture notes in computer science引用 260
DOIPDF
Formal Methods in VerificationReal-Time Systems SchedulingSoftware Reliability and Analysis Research
Formal Methods in VerificationReal-Time Systems SchedulingSoftware Reliability and Analysis Research
相关技术:Formal Methods in Verification
关系图谱

Météor: A Successful Application of B in a Large Project · 相关事件

暂无数据