机译:用C语言编写的电信系统的演绎验证
Verification; Specification; Operational semantics; Axiomatic semantics; Transformational semantics; Telecommunication systems; Telecommunication protocols;
机译:用C语言编写的电信系统的演绎验证
机译:应用于分布式系统的拆除性的可解锁性的模块性
机译:连续动力系统的演绎验证
机译:用KeYmaera X在Simulink中建模的混合控制系统的演绎验证
机译:使用Martingales对无限状态随机系统进行演绎验证。
机译:如何验证马其顿文和外文翻译的Pla窃?
机译:用于分布式系统的拆除性的可解锁性的模块性
机译:演绎数据库和逻辑编程:演绎数据库和基于知识的系统中的绑定。 ICLp'95联合研讨会的会议记录。 1995年6月17日在日本湘南村中心举行