...
机译:Oris:用于实时系统建模,验证和评估的工具
Dipartimento di Sistemi e Informatica, Universita di Firenze,Firenze, Italy;
rnDipartimento di Sistemi e Informatica, Universita di Firenze,Firenze, Italy;
rnDipartimento di Sistemi e Informatica, Universita di Firenze,Firenze, Italy;
rnDipartimento di Sistemi e Informatica, Universita di Firenze,Firenze, Italy;
qualitative verification; quantitative evaluation; symbolic state-space enumeration; time petri nets; preemptive time petri nets; stochastic time petri nets; difference bounds matrix; real-time systems;
机译:用于验证实时分布式系统的组合工具集
机译:如何制作用于验证实时系统的简单工具
机译:工具套件可帮助计划,优化和验证嵌入式实时系统
机译:ORIS:用于实时抢占式系统状态空间分析的工具
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:大学食堂中的HACCP系统评估:微生物监测和内部审核作为验证工具
机译:受邀工具演示Moby / RT:一种用于实时系统规范和验证的工具
机译:实时专家系统自动验证工具