Computing Publications

Publications Home » Working Groups' Report: The Chall...

Working Groups' Report: The Challenge of Combining Simulation and Verification

Gregory Batt, Jeremy T. Bradley, Roland Ewald, Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher

Position Paper
Simulation and Verification of Dynamic Systems, Dagstuhl
September, 2006
Dagstuhl Seminar Proceedings
Volume 6161
ISSN 1862-4405
Notes

Also available at: http://drops.dagstuhl.de/opus/volltexte/2006/724

PDF of full publication (193 kilobytes)
(need help viewing PDF files?)
BibTEX file for the publication
N.B.
Conditions for downloading publications from this site.
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.