Works matching IS 13816551 AND DT 2014 AND VI 35 AND IP 1
Results: 9
Ada Gems.
- Published in:
- 2014
- Publication type:
- Excerpt
SPARK 2014 Rationale: Formal Containers.
- Published in:
- Ada User Journal, 2014, v. 35, n. 1, p. 61
- By:
- Publication type:
- Article
Tool Qualification for Safety Related Systems.
- Published in:
- Ada User Journal, 2014, v. 35, n. 1, p. 47
- By:
- Publication type:
- Article
Experience in Spacecraft On-board Software Development.
- Published in:
- 2014
- By:
- Publication type:
- Case Study
Physical Units with GNAT.
- Published in:
- Ada User Journal, 2014, v. 35, n. 1, p. 42
- By:
- Publication type:
- Article
Reliable Software in Bioinformatics: Sequence Alignment with Coq, Ada and SPARK.
- Published in:
- Ada User Journal, 2014, v. 35, n. 1, p. 38
- By:
- Publication type:
- Article
Conference Calendar.
- Published in:
- 2014
- By:
- Publication type:
- Calendar
Quarterly News Digest.
- Published in:
- Ada User Journal, 2014, v. 35, n. 1, p. 4
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2014, v. 35, n. 1, p. 3
- By:
- Publication type:
- Article