University of Applied Sciences Osnabrueck Postal Box 1940, 49009 Osnabrueck, Germany;
机译:领域特定建模语言的行为语义的组合规范
机译:动作语言验证程序:用于响应式软件规范的无限状态模型检查器
机译:使用领域特定的建模语言和NuSMV模型检查器的Web应用程序测试工具
机译:使用SPIN模型检查器对速度控制策略进行形式验证
机译:故障:用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
机译:使用spIN模型检查器验证EasT-aDL2中的系统行为
机译:使用领域特定语言来改善认知模型的规模和整合。