Home >
domains >
www.comp.nus.edu.sg
TCOZ Page
Timed Communicating Object-Z integrates Object-Z and Timed CSP, for modeling state, concurrent events, real-time behavior, and structuring and decomposing systems to control complexity. Description, publications, book list.
|
Keyword |
Results for this URL |
Total searches |