...
机译:基于SysML和接口自动机的组件装配形式验证
SysML; Components composition; Interface automata;
机译:基于SysML和接口自动机的组件装配形式验证
机译:TBFV-M:基于测试的系统活动图形式验证
机译:基于定时自动机模型的多任务应用程序的形式验证
机译:使用分层接口自动机对SysML块进行兼容性验证
机译:基于组件的方法来验证和确认正式软件模型。
机译:基于广义概率自动机的语义计算形式模型
机译:SysML和序列计划程序语言之间的接口,用于形式验证