...
机译:使用时间Petri网改进实时系统的验证
Universidade Federal de Pernambuco (UFPE);
Universidade de Sao Paulo (USP);
Real-time systems design; Formal verification; Model checking; Time Petri Nets;
机译:使用时间Petri网改进实时系统的验证
机译:使用时间Petri网进行实时系统验证的一些问题
机译:使用随机先占时间Petri网的实时系统的正确性验证和性能分析
机译:使用时间Petri网和实时时间逻辑来指定和验证实时系统
机译:使用时间Petri网对实时系统进行建模和实现。
机译:基于改进遗传算法的热电厂烟尘实时监测系统设计
机译:使用定时弧petri网的实时多agent系统的形式化规范和验证