PARTS-a temporal logic-based real-time software specification method supporting multiple-viewpoints.

Kyo Chul Kang, Kwang-Il Ko

Browse the full APSEC paper archive.