Keyword:SysML

Papers
Model Checking of Integratively Designed Product and Production Systems Sergej Japs, Rik Rasor, Lydia Kaiser and Roman Dumitrescu EasyChair Preprint no. 1529