Dept. of Inf. Technol., Abo Akademi Univ., Turku, Finland;
Event-B; Model-based testing; UML based testing; UML-B;
机译:从Auml图自动生成测试序列:对代理交互协议的形式验证
机译:通过正式模型的断言生成验证跨层交互
机译:基于模型的自动水路系统运营设计和形式验证过程
机译:在基于模型的测试中使用UML模型和形式验证
机译:正式验证和测试软件体系结构模型。
机译:使用基于认知模型的方法测试ADHD的神经科学理论的正式预测
机译:基于模型的图形编辑器,用于支持OntoUML概念模型的创建,验证和确认