Formal specification techniques as a catalyst in validation

被引：7

作者：

Aichernig, BK ^{[1
]}

Gerstinger, A ^{[1
]}

Aster, R ^{[1
]}

机构：

[1] Graz Tech Univ, Inst Software Technol, A-8010 Graz, Austria

来源：

FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/HASE.2000.895462

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：203 / 206

页数：4