logo
Real-Time Systems

نتائج المؤتمرات (13)

International Conference on Software Testing, Verification and Validation (ICST)

Rank: AOffline
Naples, Italy
Mar 31, 2025 - Apr 4, 2025
AI-assisted software testingAutomated test generationFormal verification+35 المزيد

ACM/IFIP/USENIX International Middleware Conference (Middleware)

Rank: AOffline
Nashville, TN, USA
Dec 15, 2025 - Dec 19, 2025
Middleware SystemsDistributed SystemsCloud Computing+13 المزيد

Real Time Systems Symposium (RTSS)

Rank: A*Offline
Boston, MA, USA
Dec 2, 2025 - Dec 5, 2025
Real-Time SystemsTime-Predictable ComputingTheory+35 المزيد

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 المزيد

Design, Automation and Test in Europe Conference (DATE)

Rank: BOffline
Verona, Italy
Apr 20, 2026 - Apr 22, 2026
Electronic System DesignTestHardware Design+84 المزيد

International Conference on Reliable Software Technologies (Ada-Europe)

Rank: Journal PublishedOffline
Paris, France
Jun 10, 2025 - Jun 13, 2025
Formal and model-based engineering of critical systemsHigh-Integrity Systems and ReliabilityAI for High-Integrity Systems Engineering+3 المزيد

International Conference on Embedded and Real Time Computing Systems and Applications (RTCSA)

Rank: BOffline
Singapore
Aug 20, 2025 - Aug 22, 2025
Real-Time SystemsIoTCPS+2 المزيد

International Conference on Dependable, Autonomic and Secure Computing (DASC)

Rank: COffline
Hakodate City, Hokkaido, Japan
Oct 21, 2025 - Oct 24, 2025
Self-OrganizationOrganic ComputingCognitive Computing+40 المزيد

Pacific Rim International Symposium on Dependable Computing (PRDC)

Rank: COffline
Seoul, South Korea
Nov 3, 2025 - Nov 5, 2025
Software and hardware reliabilityresiliencesafety+28 المزيد

International Conference on the Application and Theory of Petri Nets and Concurrency (Petri Nets)

Rank: BOffline
Paris-Aubervilliers, France
Jun 25, 2025 - Jun 27, 2025
Petri NetsConcurrencySystem Design+36 المزيد

Forum on Specification and Design Languages (FDL)

Rank: COffline
Schloß Rheinfels, St. Goar, Germany
Sep 10, 2025 - Sep 12, 2025
languagestoolsand techniques for developing software and hardware+7 المزيد

International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH)

Rank: COffline
Porto, Portugal
Jul 18, 2026 - Jul 20, 2026
Modeling and Simulation MethodologiesSimulation TechnologiesTools and Platforms+57 المزيد