International Conference on Reliable Software Technologies

Resumen General

The 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026) will take place in Västerås, Sweden. The conference is a leading international forum for providers, practitioners, and researchers in reliable software technologies. The conference presentations will illustrate current work in the theory and practice of the design, development, and maintenance of long-lived, high-quality software systems for a challenging variety of application domains. Topics include: Formal Methods, Testing, and Model-based Engineering of Critical Systems; High-Integrity Systems and Reliability; AI for Safety-Critical and High-Integrity Systems Engineering; Real-Time and Embedded Systems; Ada Language and Technologies; Applications and experimental evaluations in relevant domains.

Clasificación de la Fuente

Mapa