...
机译:检查UML状态图规范中的一般安全标准的方法
Department of Measurement and Information Systems, Budapest University of Technology and Economics, Magyar Tudosok krt. 2, H-1117 Budapest, Hungary;
system safety; software specification; safety criteria; UML statecharts; OCL; graph transformation; Reachability analysis;
机译:通信UML状态图的等效检查
机译:UML StateChart规范的动态切片研究
机译:基于Statechart中规范的安全软件的可测试性
机译:检查UML状态图的一般安全标准
机译:基于规范的结构测试覆盖标准作为安全关键系统的测试数据生成器的有效性。
机译:基于UMLS的拼写检查器用于疫苗安全中的自然语言处理
机译:检查UML状态图的一般安全标准