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

Johan Cederbladh, Loek Cleophas, Eduard Kamburjan, Lucas Lima, Hans Vangheluwe

Browse the full MODELS paper archive.