Formal Verification of Safety-Critical Systems: A Case-Study in Airbag System Design
Advances in intelligent systems and computing2021pp. 107–116
Citations Over TimeTop 10% of 2021 papers
Related Papers
- → Safety Assessment of Design Patterns for Safety-Critical Embedded Systems(2009)28 cited
- → A Comparative Safety Assessment Approach for Safety Critical Systems(2018)2 cited
- → Software Quality Assurance in Safety Critical Systems(2019)1 cited
- Study on Design Technology of the Safety Policy for Safety-Critical System(2006)
- Formal Development Method for Safety-Critical System(2002)