Keyword:SysML

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