机译:紧凑的数据结构和状态空间缩减,用于模型检查实时系统
BRICS, Aalborg University, Denmark;
real-time systems; model checking; design tool; formal specification and verification; timed automata;
机译:从无噪声数据中识别和数据驱动的模型,减少无损和耗散系统的状态空间表示
机译:基于实时紧凑结构光的距离传感系统
机译:使用面向语言的数据结构的电力系统实时数据库
机译:实时系统的有效验证:紧凑的数据结构和状态空间缩减
机译:对用于半结构化数据流的实时分析的内存数据库系统的研究。
机译:Argos-CLS卡尔曼滤波器:与Fastloc GPS数据相关的误差结构和状态空间建模
机译:实时系统的有效验证:紧凑的数据结构和状态空间减少