Вы здесь

Главная

object z

Связанные издания:

Model-Checking CSP-OZ Specifications with FDR
Overview of the Semantics of TCOZ
Specifying component and context specification using Promotion
Specifying Interactive Systems in Object-Z and CSP
Towards Real-Ttime Object-Z