Works matching IS 13816551 AND DT 2022 AND VI 43 AND IP 3
Results: 12
The Work of Proof in SPARK.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 187
- By:
- Publication type:
- Article
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
Boosting Productivity and Resiliency through Automated Software Replication.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 171
- By:
- Publication type:
- Article
Renaissance-Ada: Tools for Analysis and Transformation of Ada code.
- Published in:
- 2022
- By:
- Publication type:
- Product Review
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
Use of Graph Databases for Static Code Analysis.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 155
- By:
- Publication type:
- Article
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
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
Conference Calendar.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 143
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 138
- By:
- Publication type:
- Article
Editorial.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 137
- By:
- Publication type:
- Article
Editorial Policy for Ada User Journal.
- Published in:
- Ada User Journal, 2022, v. 43, n. 3, p. 136
- Publication type:
- Article