Symbolic reasoning for early decision-making in model-based systems engineering

Bron
ACM/IEEE International Conference on Model Driven Engineering Languages, and Systems (MODELS), OCT 01-06, 2023, Vasteras, Sweden- (2023) p. 721-725
Auteur(s)