School of Electrical and Information Engineering, University of South Australia Mawson Lakes Campus, SA 5095, AUSTRALIA;
explicit state space exploration methods; reachability analysis; state space reduction methods; theoretical foundations; practical use and tool support;
机译:使用扫描线方法即时检查安全性
机译:计算广义算术并添加变换的属性和方法
机译:计算广义算术和加法变换的性质和方法
机译:一种用于安全性的广义扫描方法
机译:广义变异函数的傅立叶系数性质。
机译:广义数值反演方法分析多核纳米粒子的结构和磁性
机译:安全特性的广义扫描线方法