Semantics and pragmatics of Real-Time Maude 论文
2007LISP and Symbolic Computation引用 249
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques
详细信息
- 发表期刊/会议
- LISP and Symbolic Computation
- 发表日期
- 2007-02-24
- 发表年份
- 2007
关键词
Formal Methods in VerificationSoftware Testing and Debugging TechniquesModel-Driven Software Engineering Techniques