Technische Universitaet Muenchen Munich Germany;
Blockchain; Interactive theorem proving; Dynamic architectures; FACTum; Isabelle;
机译:FACTum中的建筑设计模式的交互式验证
机译:使用正式安全验证流程验证缓存架构漏洞
机译:具有子架构的通用属性验证的新型架构原型框架
机译:验证区块链架构:交互式架构验证的案例研究
机译:在两个现代可重配置平台上对多核体系结构进行仿真和验证的研究。
机译:在多种幼苗阶段基因组 - 与玉米(Zea Mays L.)中玉米架构性状相关的潜在基因的筛查和验证
机译:基于区块链架构的基础的对等服务导向数字货币交易的事务验证模型