Boolean algebra; Calculus; Input variables; Lattices; Semantics; Syntactics; Transforms;
机译:反应系统工具集的细化微积分
机译:rCOS:对象系统的细化演算
机译:通过抽象进行测试设计-基于细化演算的系统方法
机译:反应系统工具集的细化演算
机译:数据优化的核心演算
机译:信标演算:一种灵活简洁的生物系统建模的正式方法
机译:反应系统工具集的细化微积分
机译:基于细化的方法来开发用于反应系统的软件控制器