logo
Case studies

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

IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Rank: AOffline
Irvine, USA
May 6, 2025 - May 9, 2025
Systems with timing requirementsapplicationscase studies+8 بیشتر

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 بیشتر

Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS)

Rank: COffline
Liverpool, UK
Sep 2, 2026
Formal specificationCase studiesExperience reports+7 بیشتر

International Conference on Internet of Things, Big Data and Security (IoTBDS)

Rank: CHybrid
Benidorm, Spain
May 21, 2026 - May 23, 2026
Internet of ThingsBig DataSecurity+74 بیشتر

International Conference on Theory and Applications of Satisfiability Testing (SAT)

Rank: AOffline
Glasgow, Scotland
Aug 12, 2025 - Aug 15, 2025
Theory and Applications of Satisfiability TestingPropositional SatisfiabilityBoolean optimization+18 بیشتر

International Conference on Interactive Digital Storytelling (ICIDS)

Rank: CHybrid
Malta
Dec 1, 2025 - Dec 5, 2025
Interactive Digital StorytellingTheoryHistory+8 بیشتر