Systems and Software Verification 论文

2001引用 292

Model-Driven Software Engineering TechniquesFormal Methods in VerificationLogic, programming, and type systems

企业软件 Model-Driven Software Engineering Techniques Logic, programming, and type systems Formal Methods in Verification

相关技术:Model-Driven Software Engineering Techniques Formal Methods in Verification

8

作者

2

相关技术

0

相关事件

0

相关文章

详细信息

发表日期: 2001-01-01
发表年份: 2001

关键词

Model-Driven Software Engineering TechniquesFormal Methods in VerificationLogic, programming, and type systems

作者查看全部 (8)

Pierre McKenzie

Philippe Schnoebelen

Laure Petrucci

Antoine Petit

相关技术查看全部 (2)

Model-Driven Software Engineering Techniques Formal Methods in Verification

相关事件

暂无数据

相关文章

暂无数据