Applied mathematics; Computer logic; Multiprocessors; Dual mode; Invariance; Multimode; Algorithms; Semantics; Computations;
机译:参数化验证图:对称参数化并发系统的时间验证
机译:参数时间成像的原理。二。系统性能
机译:参数时间成像的原理。二。系统性能
机译:Gibbs Paradox作为观察的性质,证明II。热力学原理
机译:过程间分析和并发程序的验证。
机译:序列倒置以促进同时放射治疗和全身治疗。在前列腺癌中确定II期随机试验的原理研究证明
机译:一种验证分布式程序的实时性和容错性的证明方法。
机译:验证并发程序。第二部分。时间证明原则。