京都大学;
机译:在统一建模语言伪像中集成计算树逻辑模型检查的方法论:嵌入式控制器的案例研究
机译:统一建模语言伪影中集成计算树逻辑模型检查的方法:嵌入式控制器的案例研究
机译:用于集成计算树逻辑模型检查统一建模语言的方法的方法,嵌入式控制器的案例研究
机译:基于两个BDT纳米结构的顺序逻辑电路的建模与研究
机译:用于分析网络数据的随机游走模型,优先附件和顺序蒙特卡洛方法。
机译:挪威的忠诚度模型和团队成员在社区中采取果断态度的经历:一项循序渐进的混合方法研究
机译:用Gentzen的顺序法研究某些时态逻辑