机译:基于计算代数几何的形式化推理验证基于Galois场的电路
机译:基于随机过程代数的网络可生存性形式化分析新方法
机译:基于随机过程代数的网络生存能力形式化分析新方法
机译:形式化方法在业务流程验证中的应用
机译:基于等效验证的异步睡眠会议逻辑电路的正式验证方法
机译:定制手工化治疗客户的需求:综述认知加工治疗的灵活应用:基于循证处理方法:由TaraGalovskiReginald NixonDebra Kaysen学术出版社2020年.282 pp$ 125.00(平装)。 ISBN:9780128167151; $ 125.00(电子书)ISBN:9780128168851.链接到发布者:https://www.elsevier.com/books/flexible-applications-of-cognitive-processing-therapice/galovski/978-0-12-816715-1
机译:使用TLA +正式验证基于SDN的防火墙
机译:正式硬件验证的方法,应用于微处理器。