ClearSy Aix-en-Provence France;
System level proof; Formal methods; Event-B; Atelier-B;
机译:第22届工业关键系统形式方法国际研讨会和第17届关键系统自动验证国际研讨会
机译:第22届工业关键系统和第17届国际讲习班关于关键系统自动验证的第17次国际研讨会的第22次国际讲习班
机译:实践中的工业生态项目:探索区域工业系统中决策水平的界限
机译:在工业项目系统级别使用正式证明和B方法
机译:行为和系统级功率优化和综合的正式方法。
机译:使用正式方法应对智能制造系统的性能挑战:关注敏捷性
机译:用于形式化方法中的证明自动化的AI4FM方法-挑战6“可靠的系统演进”项目