February 10 – 15 , 2019, Dagstuhl Seminar 19071
Last update: July 16 2019

Specification Formalisms for Modern Cyber-Physical Systems

Participants



In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner