Verified workflow-based software development for infrastructure sensing and control applications

被引：0

作者：

Creager, Douglas A. ^{[1
]}

McHugh, John ^{[1
,2
]}

机构：

[1] RedJack, LLC, United States

[2] University of North Carolina, United States

来源：

ACM International Conference Proceeding Series | 2011年

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Formal verification

引用