logo
Correct-by-construction design

会议结果 (1)

The International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS)

Rank: COffline
Paris (Palaiseau), France
Nov 5, 2025 - Nov 7, 2025
Abstraction techniquesAssessment for real-time systemsAI & Formal methods+20 更多