The Work of Proof in SPARK.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 187
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2022 AND VI 43 AND IP 3
Results: 12
1
2
Software Tool for Evaluation of Multi-Sensor Object Tracking in ADAS Systems.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 177
- By:
- Publication type:
- Article
3
Boosting Productivity and Resiliency through Automated Software Replication.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 171
- By:
- Publication type:
- Article
4
Renaissance-Ada: Tools for Analysis and Transformation of Ada code.
- Published in:
- 2022
- By:
- Publication type:
- Product Review
5
Tracing and Measuring GPU Execution in Automotive Software Systems.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 160
- By:
- Publication type:
- Article
6
Use of Graph Databases for Static Code Analysis.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 155
- By:
- Publication type:
- Article
7
Improving Usability and Trust in Real-Time Verification of a Large-Scale Complex Safety-Critical System.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 151
- By:
- Publication type:
- Article
8
Boosting Simulation and Debugging of Cyber-physical Systems with Symbolic Exploration.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 150
- By:
- Publication type:
- Article
9
Conference Calendar.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 143
- By:
- Publication type:
- Article
10
Quarterly News Digest.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 138
- By:
- Publication type:
- Article
11
Editorial.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 137
- By:
- Publication type:
- Article
12
Editorial Policy for Ada User Journal.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 136
- Publication type:
- Article