View in EDS PDF Full Text

Designing Critical Systems with Iterative Automated Safety Analysis.

Saved in:
Bibliographic Details
Title: Designing Critical Systems with Iterative Automated Safety Analysis.
Authors: Wei, Ran1, ranwei@dlut.edu.cn, Mei, Haitao2, Jiang, Zhe3, zj266@cam.ac.uk, Zolotas, Athanasios4, Guo, Xiaoran5, vip850522@163.com, Kelly, Tim6
Source: DAC: Annual ACM/IEEE Design Automation Conference; 2022, Issue 59, p181-186, 6p
Database: Applied Science & Technology Source
Description
ISSN:0738100X
DOI:10.1145/3489517.3530434