Using Ada's Visibility Rules and Static Analysis to Enforce Segregation of Safety Critical Components.
Saved in:
| Title: | Using Ada's Visibility Rules and Static Analysis to Enforce Segregation of Safety Critical Components. |
|---|---|
| Authors: | Rosen, Jean-Pierre1 rosen@adalog.fr, Van-Den-Hende, Jean-Christophe2 jean-christophe.van-den-hende@transport.alstom.com |
| Source: | Ada User Journal. Sep2016, Vol. 37 Issue 3, p146-149. 4p. |
| Database: | Academic Search Ultimate |
| ISSN: | 13816551 |
|---|
