TY - JOUR AU - Taha, Walid PY - 2017/02/20 Y2 - 2024/03/29 TI - Rigorous simulation JF - Center for Model-Based Cyber-Physical Product Development JA - MODPROD VL - 19 IS - 11 SE - Session 5b 2017 Model-based Engineering and Applications (2) DO - UR - https://wcc.ep.liu.se/index.php/MODPROD/article/view/591 SP - 27 AB - ER -