Up a level |
Batt, Grégory and Bradley, Jeremy T. and Ewald, Roland and Fages, François and Hermanns, Holger and Hillston, Jane and Kemper, Peter and Martens, Alke and Mosterman, Pieter J. and Nielson, Flemming and Sokolsky, Oleg and Uhrmacher, Adelinde M. (2006) 06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006.