Wei, Ran and Jiang, Zhe and Guo, Xiaoran and Mei, Haitao and Zolotas, Athanasios and Kelly, Tim (2022) Designing critical systems with iterative automated safety analysis. In: 59th ACM/IEEE Design Automation Conference :. ACM, pp. 181-186.
Full text not available from this repository.Item Type:
Contribution in Book/Report/Proceedings
Uncontrolled Keywords:
Research Output Funding/no_not_funded
Subjects:
?? no - not funded ??
ID Code:
222043
Deposited By:
Deposited On:
18 Jul 2024 14:00
Refereed?:
Yes
Published?:
Published
Last Modified:
11 Sep 2024 15:50