Hierarchical Contract-Based Synthesis for Assurance Cases-MedSci.cn - 梅斯（MedSci）

Hierarchical Contract-Based Synthesis for Assurance Cases

Wang, TE; Daw, Z; Nuzzo, P; Pinto, A

Wang, TE (通讯作者)，Raytheon Technol Res Ctr, Berkeley, CA 94705 USA.

NASA FORMAL METHODS (NFM 2022), 2022; 13260 (): 175

科室
- - 订阅+
  - 更多科室
工具
服务