面向需求的安全关键系统形式化建模与验证方法研究

中国计算机学会会刊
中国科技核心期刊
中文核心期刊

面向需求的安全关键系统形式化建模与验证方法研究

胡军,张维珺,李宛倩

A requirement oriented formal modeling and

verification method for safety critical systems

HU Jun,ZHANG Wei-jun,LI Wan-qian

计算机工程与科学 . 2019, (08): 1426 -1433 .