PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method.

Kyo Chul Kang, Kwang-Il Ko

Browse the full ICSE paper archive.