Component; Verification; Behavior; UML2.0; PoSM; Model-Checker; FDR2;
机译:验证UML2.0软件架构的合同方法
机译:用于早期分析UML2.0 / PSM原子和复合组件的基于MDE的工具
机译:机电继电器中柔性弹簧组件接触滑动行为的建模和实验验证
机译:UML2.0 / POSM组件的行为验证
机译:在基于组件的系统中指定和验证协作行为。
机译:行为性声发射:使用按键声音对PIN输入进行攻击和验证
机译:用于验证安全和基于性能的组件系统的弱行为等效性
机译:航天飞机热保护系统金属材料和部件蠕变行为的预测和验证