1. Home
  2. Computer
  3. Programmin­g
  4. TCOZ Page

Computer · Programmin­g

TCOZ Page

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

About TCOZ Page

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.

Tags

Wirth

Where it sits

Computer Programmin­g

More in Programmin­g

See all →