9月06日 - 2026年9月06日
International Conference on Reliable Software Technologies
まだフォロワーがいません。
概要
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.
論文募集
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.
重要な日付
カンファレンス日程
Conference Date
2026年9月6日
- 2025年6月10日 - 2025年6月13日
- 2026年6月9日 - 2026年6月12日
情報源ランク
情報源: CORE2023
ランク: Journal Published
研究分野: Software engineering, 使用されていません