Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Computers
:
Programming
:
Languages
:
Z
:
TCOZ Page
Link Details for:
TCOZ Page
Link Title:
TCOZ Page
Link URL:
http://www.comp.nus.edu.sg/~dongjs/tcoz.html
Link Details:
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.
Category:
Top : Computers : Programming : Languages : Z
Link Type:
ScreenShot: