期刊详情
Formal Methods In System Design
立即访问
语言：
英文
所在数据库：
Springer
更新时间：
2026-03-17 14:23:18
期刊详情
Formal Methods In System Design 致力于系统设计与验证中的形式化方法，发表关于硬件、软件及混合系统建模、分析及验证技术的创新成果，涵盖模型检测、定理证明及时序逻辑等领域。