机译:观点和一致性:将LOTOS转换为Object-Z
Distributed systems; Open distributed processing; Formal methods (Object-z, LOTOS);
机译:基于定理证明检查对象-Z正式规范的一致性
机译:将FSP转换为LOTOS和自动机网络
机译:通信硬件过程的语义及其转换为Lotos以便用Cadp验证异步电路的语义
机译:从纹理E-LOTOS到图形E-LOTOS的自动翻译
机译:从需求到方案再到规范:从用例映射到LOTOS的转换过程。
机译:观点:将骨关节炎的临床问题转化为病理生理研究目标
机译:观点和一致性:将LOTOS转换为Object-z
机译:LOTOs mIRaNDa:实现LOTOs视图功能的功能环境