Quarterly News Digest.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 190
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2019 AND VI 40 AND IP 4
Results: 10
1
2
Towards a Formally Verified Space Mission Software Using SPARK.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 243
- By:
- Publication type:
- Article
3
Maintaining Trust in VANETs Using Blockchain.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 236
- By:
- Publication type:
- Article
4
Scenario-Based Validation & Verification, the ENABLE-S3 Approach.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 230
- By:
- Publication type:
- Article
5
Co-engineering of Safety and Security Life Cycles for Engineering of Automotive Systems.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 210
- By:
- Publication type:
- Article
6
Using SPARK to Ensure System to Software Integrity: A Case Study.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 226
- By:
- Publication type:
- Article
7
Using Evidence-Based Arguments to Support Dependability Assurance - Experiences and Challenges.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 219
- By:
- Publication type:
- Article
8
Conference Calendar.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 197
- By:
- Publication type:
- Article
9
Editorial.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 189
- By:
- Publication type:
- Article
10
Editorial Policy for Ada User Journal.
- Published in:
- Ada User Journal, 2019, v. 40, n. 4, p. 188
- Publication type:
- Article