Vol-1249⫷ Vol-1250 ⫸Vol-1251
urn:nbn:de:0074-1250-0


Vol-1250/pape1⫷Vol-1250/paper2⫸Vol-1250/paper3
Marilyn WolfJacques FlorenceMuhammad Umer Tariq

Design Specification of Cyber-Physical Systems: Towards a Domain-Specific Modeling Language based on Simulink, Eclipse Modeling Framework, and Giotto