logo
certification

نتایج کنفرانس‌ها (4)

Information Security Conference (ISC)

Rank: COffline
greater Washington DC area
Oct 23, 2024 - Oct 25, 2024
access controlanonymityapplied cryptography+39 بیشتر

International Conference on Formal Structures for Computation and Deduction (FSCD)

Rank: BOffline
Birmingham, UK
Jul 15, 2025 - Jul 18, 2025
Formal StructuresComputationDeduction+39 بیشتر

ACM Conference on Embedded Software (EMSOFT)

Rank: Journal publishedOffline
Taipei, Taiwan
Sep 28, 2025 - Oct 3, 2025
Embedded Software SystemsEmbedded Distributed SystemsNetworked Systems+39 بیشتر

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsVerificationValidation+26 بیشتر