Requirement Specification For Real-Time and Hybrid Systems.

Heping He, Hussein Zedan

Browse the full FORTE paper archive.