Model-Driven Software Engineering Techniques 技术
conceptgrowing领域: Physical Sciences
0
衍生技术
0
相关产品
0
相关事件
衍生技术
暂无数据
相关论文查看全部 (10)
Statecharts: a visual formalism for complex systems
1987Science of Computer Programming引用 6713
A theory of timed automata
1994Theoretical Computer Science引用 6451
Model Checking
1999引用 4257
相关专利
暂无数据
相关产品
暂无数据
相关事件
暂无数据
相关文章
暂无数据