Finite transition systems: semantics of communicating systems 论文

1994Prentice Hall International (UK) Ltd. eBooks引用 219
Formal Methods in VerificationModel-Driven Software Engineering TechniquesModeling and Simulation Systems
企业软件Model-Driven Software Engineering TechniquesFormal Methods in VerificationModeling and Simulation Systems
相关技术:Formal Methods in VerificationModel-Driven Software Engineering TechniquesModeling and Simulation Systems
关系图谱

Finite transition systems: semantics of communicating systems · 相关技术

相关技术

Formal Methods in VerificationModel-Driven Software Engineering TechniquesModeling and Simulation Systems