Improving Usability and Trust in Real-Time Verification of a Large-Scale Complex Safety-Critical System
Improving Usability and Trust in Real-Time Verification of a Large-Scale Complex Safety-Critical System
复制标题
提高大规模复杂安全关键系统实时验证的可用性和信任度
作者：
Brian Kempa;Christopher Johannsen;Kristin Yvonne Rozier
