机译:领域特定的分布式系统工程的一种正式方法
IMT Sch Adv Studies Lucca Lucca Italy|CINI Natl Cybersecur Lab Rome Italy;
Univ Pisa Pisa Italy;
Univ Firenze Florence Italy;
Univ Camerino Camerino Italy;
Coordination; Distributed systems; Domain-specific languages;
机译:自动化系统需求工程的正式方法:面对新的自动化系统的挑战
机译:分布式系统形式验证中的符号模型检查方法
机译:网络/分布式系统复杂测试的正式方法
机译:领域特定的分布式系统工程的一种形式化方法
机译:电子物理系统领域特定建模语言的形式语义规范。
机译:分布式数据库系统(DDBS)中同时进行水平数据分段和分配的优化方法
机译:域特定分布式系统工程的正式方法