Basic Formal Verification of a Waypoint Manager for Unmanned Air Vehicles in SPARK.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 269
- By:
- Publication type:
- Article
Works matching IS 13816551 AND DT 2022 AND VI 43 AND IP 4
Results: 14
1
2
Finding Locally Smallest Cut Sets using Max-SMT.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 261
- By:
- Publication type:
- Article
3
Rigorous Pattern Matching as a Language Feature.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 255
- By:
- Publication type:
- Article
4
Containers for Specification in SPARK.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 249
- By:
- Publication type:
- Article
5
ANIARA Project - Automation of Network Edge Infrastructure and Applications with Artificial Intelligence.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 223
- By:
- Publication type:
- Article
6
Report on the ASIS Birds-of-a-Feather Session: The Future of ASIS and Vendor Independent Tools.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 221
- By:
- Publication type:
- Article
7
MORPHEMIC - Optimization of the Deployment and Life-Cycle Management of Data-Intensive Applications in the Cloud Computing Continuum.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 235
- By:
- Publication type:
- Article
8
AI-Augmented Model-Based Capabilities in the AIDOaRt Project: Continuous Development of Cyber-physical Systems.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 230
- By:
- Publication type:
- Article
9
Editorial.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 197
- By:
- Publication type:
- Article
10
Managing Non-functional Requirements in an ELASTIC Edge-Cloud Continuum.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 245
- By:
- Publication type:
- Article
11
5G Communication and Security in Connected Vehicles.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 240
- By:
- Publication type:
- Article
12
Conference Calendar.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 213
- By:
- Publication type:
- Article
13
Quarterly News Digest.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 198
- By:
- Publication type:
- Article
14
DAIS Project - Distributed Artificial Intelligence Systems: Objectives and Challenges.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 227
- By:
- Publication type:
- Article