机译:保形几何代数的高阶逻辑形式化及其在验证机器人操纵算法中的应用
机译:应用于分布式系统的拆除性的可解锁性的模块性
机译:模块间离散事件系统的一类观测属性的验证复杂性
机译:可靠的验证程序可实现经济高效地获取复杂而可靠的太空系统(采用模块化管理流程实施分布式验证程序的重要性)
机译:用于逻辑控制的模块化有限状态机:理论,验证和可重构制造系统的应用。
机译:推进DNA计算材料的力量:创新DNA逻辑计算系统和智能生物应用的最新进展
机译:滑轮和几何逻辑及其在复杂系统模块化验证中的应用
机译:高阶逻辑中安全分布式系统的验证:使用通用组件的模块化方法。