Formal validation and requirements management based on the Jackson's reference model for requirements and specifications

被引：0

作者：

Collaborative Research Team for Verification, National Institute of Advanced Industrial Science and Technology , Japan ^{[1
]}

机构：

来源：

Proc. - IEEE Pac. Rim Int. Symp. Dependable Comput., PRDC | / 251-252期

关键词：

D O I：

5703262

中图分类号：

学科分类号：

摘要：

Formal specification - Formal logic

引用