Abstract
The design of complex systems requires powerful mechanisms for modeling data, state, communication, and real-time behaviour as well as for structuring and decomposing systems in order to control local complexity. Timed Communicating Object Z (TCOZ) builds on Object-Z's strengths in modeling complex data and state, and on timed CSP's strengths in modeling process control and real-time interactions. We demonstrate the TCOZ approach to the design and verification of the Teleservices and Remote Medical Care System.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
