机译:基于UML和PVS的实时系统的严格建模
Department of Computer Science & Engineering, Shanghai Jiaotong University, Shanghai 200030;
embedded real-time system; UML Statechart; PVS; timed automata; model Checking;
机译:基于UML状态图的实时系统的严格建模
机译:基于UML状态图的实时系统的严格建模
机译:基于UML状态图的实时系统的严格建模
机译:用于信息系统的UML静态概念建模的严格元模型
机译:使用遗传算法的基于UML模型的分布式实时系统的流量感知压力测试。
机译:概念问题和标准。使用统一医学语言系统的应用程序:UMLS作为知识库-用于控制医学词汇管理的基于规则的专家系统方法
机译:信息系统UML静态概念建模的严格元模型