Compositionality in the Science of System Design, at Dagstuhl Seminar “Symbolic-Numeric Methods for Reliable and Trustworthy Problem Solving in Cyber-Physical Domains

Tripakis, S. (Invited speaker)

Activity: Talk or presentation typesPublic or invited talk

Description

Invited talk
Period5 Dec 2016
Event titleSymbolic-Numeric Methods for Reliable and Trustworthy Problem Solving in Cyber-Physical Domains
Event typeSeminar
LocationWadern, Germany
Degree of RecognitionInternational