Static Checking Consistency of Temporal Requirements for Control Software.

Natalia Olegovna Garanina, Dmitry Koznov

Browse the full MEDI paper archive.