Informatics and Mathematical Modelling, Technical University of Denmark, Lyngby;
机译:建立和验证铁路控制系统的正式方法
机译:自动构建面向对象框架的特定于领域的建模语言
机译:使用抽象状态机验证铁路信号系统联锁表的准确性
机译:用于自动化建筑和铁路控制系统验证的域特定框架(扩展摘要)
机译:Cogene:针对特定领域架构的自动化设计框架。
机译:N-聚糖生物合成过程的系统框架和糖基化网络的自动化构建
机译:铁路控制系统自动化建设和验证的特定领域框架
机译:简化域特定自动编程系统的构建:Nasa自动化软件开发工作站项目