Login / Signup

面向SysML模型的安全性分析与验证方法 (Method of System Safety Analysis and Verification for SysML Models).

Wanqian LiJun HuSong ChenWeijun Zhang
Published in: 计算机科学 (2019)
Keyphrases
  • safety analysis
  • safety critical
  • control system
  • nuclear power plant
  • real time
  • multi agent systems
  • learning systems
  • formal methods
  • fault model