Verification of Systems in Physical Contexts - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jens Oehlerking, Thomas Strathmann. Verification of Systems in Physical Contexts. In Klaus Pohl, Manfred Broy, Heinrich Daembkes, Harald Hönninger, editors, Advanced Model-Based Engineering of Embedded Systems, Extensions of the SPES 2020 Methodology. pages 105-117, Springer, 2016. [doi]

This author has not been identified. Look up 'Jens Oehlerking' in GoogleThis author has not been identified. Look up 'Thomas Strathmann' in Google

runs on WebDSL