06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification.

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

Published in: Simulation and Verification of Dynamic Systems (2006)

Keyphrases