Hybrid Systems Verification; DEVS; Timed Automata; Quantized State Systems QSS;
机译:dev-proMela:用于模拟,模拟和离散事件系统的建模,仿真和验证的PROMELA的扩展
机译:具有恒定WIP和不可靠设备的混合生产系统的建模
机译:在基于DEVS的系统开发方法中验证离散事件模型的框架
机译:使用DEVS(WIP)的混合系统建模和验证
机译:DEVS模型的验证方法。
机译:PDB-Dev:用于存储集成/混合结构模型的原型系统
机译:DVmL:基于DEVs的混合系统可视化建模语言*
机译:验证模拟为定时自动机的混合系统:案例研究。