OSATE-DIM solves the instance model-view update problem in AADL

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 23, 2022
Source ID
10.1145/3550356.3559083

Entities

People

  • Dominique Blouin
  • Rakshit Mittal

Organizations

  • Télécom Paris
  • United States Army