Reachability analysis; Verification and abstraction of hybrid systems; Embedded computer control systems and applications; Logical design; Physical design; Implementation of embedded computer systems; Supervision and testing; Model-driven systems engineering;
机译:在网络物理系统的随机测试中使用值布尔查找简单的反例
机译:V-和S-DINI测试的比较。 关于普通哈尔和沃尔什系统的对称性DINI测试的监控器
机译:最短的生成树和在随机环境中随机游走的反例
机译:使用valued booleans在网络 - 物理系统的随机测试中找到更简单的反域
机译:个人如何学习简单的布尔系统并诊断其故障。
机译:网络物理系统中具有随机游走的网络位置感知服务推荐
机译:使用valued booleans在网络 - 物理系统的随机测试中找到更简单的反域