TCOZ
From MaRDI portal
Software:15914
No author found.
Related Items (7)
Cameo: an alternative model of concurrency for Eiffel ⋮ A CSP model of Eiffel's SCOOP ⋮ A UTP semantics for communicating processes with shared variables and its formal encoding in PVS ⋮ Refinement and verification in component-based model-driven design ⋮ A formal object approach to the design of ZML ⋮ Deep semantic links of TCSP and Object-Z: TCOZ approach. ⋮ Type Checking Specifications
This page was built for software: TCOZ