Found: 9
Select item for more details and to access through your institution.
Time4PS: Fully Integrated Development Toolset for Partitioned Systems.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 113
- By:
- Publication type:
- Article
The problem of the Greek Cross.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 117
- By:
- Publication type:
- Article
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
Integrated Formal Analysis for Ada Programs.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 103
- By:
- Publication type:
- Article
Spunky, a Genode kernel in Ada/SPARK.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 99
- By:
- Publication type:
- Article
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
Conference Calendar.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 89
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 64
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2020, v. 41, n. 2, p. 63
- By:
- Publication type:
- Article