logo
Quantum Systems

カンファレンス検索結果 (4)

International Conference on Software Engineering and Formal Methods (SEFM)

Rank: BOffline
Toledo, Spain
Nov 10, 2025 - Nov 14, 2025
Formal MethodsSoftware EngineeringSoftware Development Methods+49 その他

International Conference on Concurrency Theory (CONCUR)

Rank: AOffline
Aarhus University, Aarhus, Denmark
Aug 26, 2025 - Aug 29, 2025
Basic models of concurrencyabstract machinesdomain-theoretic models+63 その他

International Conference on Testing Software and Systems (ICTSS)

Rank: COffline
Limassol, Cyprus
Sep 17, 2025 - Sep 19, 2025
Test CoverageTest ConcretizationTest Implementation+73 その他

Conference on Information Sciences and Systems (CISS)

Rank: National: USAOffline
Johns Hopkins University
Mar 24, 2025 - Mar 26, 2025
Information TheoryCommunicationsand Coding+15 その他