• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

面向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