A Practical and Complete Method for Detecting rt-Inconsistencies in Real-Time Requirements.

Nico Hauff, Elisabeth Henkel, Elisabeth Fnfgeld, Vincent Langenfeld, Andreas Podelski

Browse the full REFSQ paper archive.