Unified modeling language; Algebra; Systems Modeling Language; Periodic structures; Analytical models; Object oriented modeling;
机译:使用对Petri网的形式转换来验证SysML活动图
机译:TBFV-M:基于测试的系统活动图形式验证
机译:时间约束下的SysML活动图定量验证框架
机译:一种与活动图集成Sysml内部框图的结构行为联合方法
机译:UML交互图到活动图的基于XMI的转换。
机译:含水 - 乙二醇 - 蔗糖 - NaCl系统的季图和综合相图的两种理论方法的测定
机译:使用HOARE逻辑验证和验证SYSML活动图表