Automated Inconsistency Analysis of Real-Time Requirements: A Domain Expert Friendly Approach.

Shaobin Liu, Xiaohong Chen, Zhi Jin, Min Zhang

Browse the full HPCC paper archive.