Department of Computer Science, ETH Zurich, Zuerich, Switzerland;
Department of Computer Science, ETH Zurich, Zuerich, Switzerland;
Department of Computer Science, ETH Zurich, Zuerich, Switzerland;
Department of Computer Science, ETH Zurich, Zuerich, Switzerland;
机译:嵌入Isabelle / Hol中的硬件描述语言
机译:关于形式本体的计算实现:以Isabelle / HOL为例,对时空实例化本体进行形式化
机译:用于网络物理电力系统的协作控制策略的实时控制器硬件循环共仿真测试。
机译:Isabelle / Hol在真正硬件上的物理寻址
机译:在HOL中构建已验证的硬件和已验证的堆栈
机译:在物理环境中实时仿真大型神经系统模型的数字硬件设计
机译:嵌入Isabelle / Hol中的硬件描述语言