机译:UML-RT模型的特定于语言的模型检查
Queens Univ, Sch Comp, Kingston, ON, Canada;
Queens Univ, Sch Comp, Kingston, ON, Canada;
UML-RT; Model checking; Lazy composition;
机译:使用UML-RT的交通控制信号的统一建模方法
机译:通过转换UML-RT设计模型对实时系统进行正式规范的方法学方法
机译:扩展用于控制系统建模的UML-RT |科学出版物
机译:使用惰性组合的UML-RT模型的模型检查
机译:后验预测模型检验对增长曲线模型的模型批评
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:Live-UMLRT:UML-RT模型的实时建模工具