logo
or dependability

会议结果 (2)

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Rank: AOffline
Turin, Italy
Apr 11, 2026 - Apr 16, 2026
specification and verification techniquessoftware and hardware verificationanalytical techniques for real-time+16 更多

European Conference on Pattern Languages of Programs (EuroPLop)

Rank: National: GermanyOffline
Kloster Irsee, Germany
Jul 2, 2025 - Jul 6, 2025
PatternsPattern LanguagesSoftware Engineering+73 更多