Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems (Part 1).
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 53
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2019 AND VI 40 AND IP 1
Results: 7
1
2
ConcertoFLA-based Multi-concern Assurance for Space Systems.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 35
- By:
- Publication type:
- Article
3
Concurrent Reactive Objects in Rust Secure by Construction.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 41
- By:
- Publication type:
- Article
4
24<sup>th</sup> International Conference on Reliable Software Technologies Ada-Europe 2019.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 31
- Publication type:
- Article
5
Conference Calendar.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 24
- By:
- Publication type:
- Article
6
Quarterly News Digest.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 4
- By:
- Publication type:
- Article
7
Editorial.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 3
- By:
- Publication type:
- Article