TCOZ Page
comp.nus.edu.sgTimed 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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.