Connecting you to content on EBSCOhost

Works matching IS 13816551 AND DT 2014 AND VI 35 AND IP 1

Results: 9

1

Physical Units with GNAT.

Published in:

Ada User Journal, 2014, v. 35, n. 1, p. 42

By:

Grein, Christoph K. W.

Publication type:

Article

2

SPARK 2014 Rationale: Formal Containers.

Published in:

Ada User Journal, 2014, v. 35, n. 1, p. 61

By:

Dross, Claire

Publication type:

Article

3

Experience in Spacecraft On-board Software Development.

Published in:

2014

By:

de la Puente, Juan A.;
Alonso, Alejandro;
Zamorano, Juan;
Garrido, Jorge;
Salazar, Emilio;
de Miguel, Miguel A.

Publication type:

Case Study

4

Ada Gems.

Published in:: 2014
Publication type:: Excerpt

5

Tool Qualification for Safety Related Systems.

Published in:

Ada User Journal, 2014, v. 35, n. 1, p. 47

By:

Ekman, Mathias;
Thane, Henrik;
Sundmark, Daniel;
Larsson, Stig

Publication type:

Article

6

Reliable Software in Bioinformatics: Sequence Alignment with Coq, Ada and SPARK.

Published in:

Ada User Journal, 2014, v. 35, n. 1, p. 38

By:

Sargsyan, Karen

Publication type:

Article

7

Conference Calendar.

Published in:

2014

By:

Craeynest, Dirk

Publication type:

Calendar

8

Quarterly News Digest.

Published in:

Ada User Journal, 2014, v. 35, n. 1, p. 4

By:

Andersen, Jacob Sparre

Publication type:

Article

9

Editorial.

Published in:

Ada User Journal, 2014, v. 35, n. 1, p. 3

By:

Pinho, Luís Miguel

Publication type:

Article