Modeling of Networked Automation Systems for simulation and model checking of time behavior - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns. Modeling of Networked Automation Systems for simulation and model checking of time behavior. In International Multi-Conference on Systems, Signals & Devices, SSD 2012, Chemnitz, Germany, March 20-23, 2012. pages 1-5, IEEE, 2012. [doi]

This author has not been identified. Look up 'Birgit Vogel-Heuser' in GoogleThis author has not been identified. Look up 'Jens Folmer' in GoogleThis author has not been identified. Look up 'Georg Frey' in GoogleThis author has not been identified. Look up 'Liu Liu' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Arnd Hartmanns' in Google

runs on WebDSL