Symbolic Reasoning for Early Decision-Making in Model-Based Systems Engineering

Published in MBSE@Models, 2023

Recommended citation: Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe. (2023). MBSE@Models. Accepted for Publication, IEEE.