logo
Formal specification and verification

会议结果 (2)

International Symposium on Fundamentals of Computation Theory (FCT)

Rank: BOffline
Institute of Computer Science, University of Wrocław, Poland
Sep 15, 2025 - Sep 17, 2025
AlgorithmsComplexityFormal Methods+52 更多

International Conference on Real-Time and Network Systems (RTNS)

Rank: National: FranceOffline
Pisa, Italy
Nov 5, 2025 - Nov 7, 2025
Formal specification and verificationHardware support for real-time systemsReal-time applications design and evaluation+5 更多