Works matching IS 13816551 AND DT 2022 AND VI 43 AND IP 4
Results: 14
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
Finding Locally Smallest Cut Sets using Max-SMT.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 261
- By:
- Publication type:
- Article
Rigorous Pattern Matching as a Language Feature.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 255
- By:
- Publication type:
- Article
Containers for Specification in SPARK.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 249
- By:
- Publication type:
- Article
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
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
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
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
Editorial.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 197
- By:
- Publication type:
- Article
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
5G Communication and Security in Connected Vehicles.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 240
- By:
- Publication type:
- Article
Conference Calendar.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 213
- By:
- Publication type:
- Article
Quarterly News Digest.
- Published in:
- Ada User Journal, 2022, v. 43, n. 4, p. 198
- By:
- Publication type:
- Article
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