Unified modeling language; Weaving; Model checking; Runtime; Process control; Tools; Software;
机译:用UML建模的安全组通信协议的形式验证
机译:紧急处理流程的层次建模和形式验证
机译:动态贝叶斯网络用于结构化随机过程的形式验证
机译:使用方面的UML模型动态演化过程的正式验证
机译:云计算中服务级别协议的形式化建模和动态验证。
机译:蜂窝自动水坝边界条件和空间重组方面的变形过程中微观结构演化的建模
机译:验证UmL模型的动态方面