机译:集成UML和UPPAAL,以设计,指定和验证基于组件的实时系统
Components; UML; Real-time systems; Model checking; UPPAAL;
机译:集成UML和UPPAAL,以设计,指定和验证基于组件的实时系统
机译:基于TLM的平台,用于指定和验证基于组件的实时系统
机译:使用UML和Ada设计实时,并发和嵌入式软件系统
机译:iUML-B和UPPAAL定时自动机的集成,用于开发具有并行过程的实时系统
机译:使用模型检查工具(Xuppaal和Kronos)验证中型实时软件系统
机译:可扩展的智能城市系统互操作性的基于组件的建模:以能源需求响应系统集成为例
机译:集成UmL和UppaaL用于设计,指定和验证基于组件的实时系统
机译:使用实时模型检查器UppaaL对电源控制器进行形式验证