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

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