Author:
Fuchs Max,Mendler Michael
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Verification of Digital Circuits Using Simulator with Mathematical Foundation;Applied Mechanics and Materials;2019-06
2. SCEst;ACM Transactions on Embedded Computing Systems;2018-03-31
3. Component Reuse in B Using ACL2;ZB 2005: Formal Specification and Development in Z and B;2005
4. Parallel Hardware Design in B;ZB 2003: Formal Specification and Development in Z and B;2003
5. Consistent graphical specification of distributed systems;FME '97: Industrial Applications and Strengthened Foundations of Formal Methods;1997