Web Directory

    Top: Computers: Programming: Languages: Z:

 

TCOZ Page

  Link Details for: TCOZ Page
Link Title: TCOZ Page Open in a new window
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: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
TCOZ Page