Parametric Verification and Test Coverage for Hybrid Automata Using the Inverse Method release_upf3uyexfjgn7mtq3as3w3bfxu

by Laurent Fribourg, Ulrich Kühne

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2011   p191-204

Archived Files and Locations

application/pdf  764.5 kB
file_hqvz4wekifa7lef3z5bouivctm
web.archive.org (webarchive)
www.lsv.ens-cachan.fr (web)
www.lsv.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2011
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 79ca11a5-54ff-4aea-9870-5c0e6cfd3d09
API URL: JSON