机译:暹粒的高级域名语言(设计,开发和正式验证)
机译:用领域专用语言封装形式方法:验证铁路计划的解决方案
机译:安全系统的关键安全设计:关键安全程序需要全面的方法,必须结合使用专门的语言和工具,严格控制的测试以及使用正式方法
机译:从解决方案到问题空间:基于模型的开发和领域特定语言的形式化方法
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:故障:用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
机译:以特定领域语言集成形式验证的方法和工具