TCOZ(ID:8160/)
Combination of Timed CSP and Object-Z
Related languages
| Object-Z |
=> |
TCOZ | |
Incorporated features of |
| TCSP |
=> |
TCOZ | |
Incorporated features of |
References:
Mahony, Brendan and Jin Song Dong "Deep Semantic Links of TCSP and Object-Z: TCOZ Approach" pp142-160 view details
in Formal Aspects of Computing 13(2) May 2002 view details
|