Formal specification and verification of real-time system
Anaheed Ayoub Eskandar;
Other data
| Title | Formal specification and verification of real-time system | Authors | Anaheed Ayoub Eskandar | Keywords | Formal specification and verification of real-time system | Issue Date | 2003 |
Recommend this item
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.