Formal_Verification_of_Automotive_Design_in_Compliance_With_ISO_26262_Design_Verification_Guidelines
2021-08-24 19:00:52
7.34MB
1
Formal Verification of Automotive Embedded UML Designs
2021-08-24 19:00:51
4.13MB
1
裘宗燕译：工业开发中的形式化方法：成就、问题和未来（作者 J.-R. Abrial）.pdf
2021-08-24 19:00:41
208KB
1