Formal Methods in Verification 技术
algorithmgrowing领域: Physical Sciences
0
衍生技术
0
相关产品
0
相关事件
衍生技术
暂无数据
相关论文查看全部 (10)
Petri nets: Properties, analysis and applications
1989Proceedings of the IEEE引用 10527
Graph-Based Algorithms for Boolean Function Manipulation
1986IEEE Transactions on Computers引用 8906
Statecharts: a visual formalism for complex systems
1987Science of Computer Programming引用 6713
A theory of timed automata
1994Theoretical Computer Science引用 6451
相关专利
暂无数据
相关产品
暂无数据
相关事件
暂无数据
相关文章
暂无数据