OpenLimit SignCubes AG, Baar, Switzerland;
Graph-based analysis; Algorithms; Software security;
机译:在VIBe软件中生成虚拟水分配系统的基于图的方法
机译:在VIBe软件中生成虚拟水分配系统的基于图的方法
机译:基于无循环图形的基础账互联网:性能和安全分析
机译:基于图形的软件安全性分析的方法
机译:基于攻击路径分析的软件安全经济学和威胁建模;利益相关者价值驱动的方法
机译:基于模糊的TopSis对有效安全要求工程方法的选择分析可靠性医疗软件开发
机译:软件定义网络威胁建模和安全分析的系统方法
机译:基于图的语言规范,分析和映射理论及其在并行软件开发中的应用。