학술논문
Model-driven system-level validation and verification on the space software domain
Document Type
Article
Author
Source
In: Software and Systems Modeling . (Software and Systems Modeling, December 2022, 21(6):2367-2394)
Subject
Language
English
ISSN
16191374
16191366
16191366