06161 Working Groups Report: The Challlenge of Combining Simulation and Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher. 06161 Working Groups Report: The Challlenge of Combining Simulation and Verification. In David M. Nicol, Corrado Priami, Hanne Riis Nielson, Adelinde M. Uhrmacher, editors, Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006. Volume 06161 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]

This author has not been identified. Look up 'Grégory Batt' in GoogleThis author has not been identified. Look up 'Jeremy T. Bradley' in GoogleThis author has not been identified. Look up 'Roland Ewald' in GoogleThis author has not been identified. Look up 'François Fages' in GoogleThis author has not been identified. Look up 'Holger Hermanns' in GoogleThis author has not been identified. Look up 'Jane Hillston' in GoogleThis author has not been identified. Look up 'Peter Kemper' in GoogleThis author has not been identified. Look up 'Alke Martens' in GoogleThis author has not been identified. Look up 'Pieter J. Mosterman' in GoogleThis author has not been identified. Look up 'Flemming Nielson' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in GoogleThis author has not been identified. Look up 'Adelinde M. Uhrmacher' in Google

runs on WebDSL