用于指定并发实时系统的实时 Object-Z 和 CSP 集成 电子书下载

原名:An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
作品简介:集成符号被称为实时 Object-Z [19]，它基于一个提议的系统，旨在帮助澳大利亚内陆地区的农民跟踪指定组件系统，Object-Z/CSP 将此类视为亲。……