Requirement Based Safety Monitor Generation and Integration
暂无分享，去创建一个
[1] Daniel Aceituna. Survey of Concerns in Embedded Systems Requirements Engineering , 2013 .
[2] Hans-Jörg Wolff,et al. Having Your Cake and Eating It: A Model-Based Approach for Satisfying ISO26262 Software Development Requirements , 2011 .
[3] Mirko Conrad,et al. Safety-Critical Software Development Using Automatic Production Code Generation , 2007 .
[4] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.