Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems.

Yike Huang, Xiaohong Chen, Zhi Jin, Tingliang Zhou

Browse the full RE paper archive.