Works matching IS 13816551 AND DT 2019 AND VI 40 AND IP 1
Results: 7
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
Concurrent Reactive Objects in Rust Secure by Construction.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 41
- By:
- Publication type:
- Article
ConcertoFLA-based Multi-concern Assurance for Space Systems.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 35
- By:
- Publication type:
- Article
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
Conference Calendar.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 24
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 4
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2019, v. 40, n. 1, p. 3
- By:
- Publication type:
- Article