119 followers
The book contains two chapters co-authored by GEODES professors @sahraouh ("Exploiting Results of Model-Based Analysis Tools" https://t.co/YMiEDa1U0e) and @MFamelis ("Living with Uncertainty in Model-Based Development" https://t.co/cIuom9gr6l).