Cyber-physical systems (CPS); combine cyber aspects; communication;
机译:(CO)可达性逻辑中的组成证据的电感证明系统
机译:结合直觉逻辑和经典逻辑的Kripke语义和证明系统
机译:基于信号的网络物理系统的性质:分类和基于逻辑的表征
机译:使用KeYmaera X进行网络物理系统的逻辑和证明
机译:授权逻辑的证明理论及其在实际文件系统中的应用。
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:网络物理系统的等级多重形式证明