Distributed systems modeling; Petri nets; real-time systems; timed automata; verification;
机译:分布式实时受管系统:用于托管嵌入式系统的模型驱动的分布式安全信息体系结构平台
机译:基于定时自动机的分布式公司实时系统的可调度性分析:一个案例研究
机译:数据驱动的建模和实时分布式控制,用于节能制造系统
机译:用于分布式实时系统建模的定时资源驱动自动机网络
机译:耦合,数据驱动,以及下水道系统和水资源回收设施的实时建模和控制
机译:混合自动机库:用于混合建模和实时可视化的灵活平台
机译:NetQopE:用于分布式实时和嵌入式系统的模型驱动网络Qos配置引擎*
机译:通信共享资源:分布式实时系统模型(ms-CIs-89-26)。