25th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2021) Santander, Spain, June 2021.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 97
- Publication type:
- Article
Works matching IS 13816551 AND DT 2020 AND VI 41 AND IP 2
Results: 9
1
2
Integrated Formal Analysis for Ada Programs.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 103
- By:
- Publication type:
- Article
3
De-RISC - Dependable Real-Time Infrastructure for Safety-Critical Computer Systems.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 107
- By:
- Publication type:
- Article
4
Time4PS: Fully Integrated Development Toolset for Partitioned Systems.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 113
- By:
- Publication type:
- Article
5
The problem of the Greek Cross.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 117
- By:
- Publication type:
- Article
6
Spunky, a Genode kernel in Ada/SPARK.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 99
- By:
- Publication type:
- Article
7
Conference Calendar.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 89
- By:
- Publication type:
- Article
8
Quarterly News Digest.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 64
- By:
- Publication type:
- Article
9
Editorial.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 63
- By:
- Publication type:
- Article