Behavioral Specification of Real-Time Requirements.

Seyed Morteza Babamir, Faezeh Sadat Babamir

Browse the full APSEC paper archive.