Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Rainer Gmehlich
Publications
Industrial Examples of Formal Specifications for Test Case Generation
Hendrik Roehm
,
Rainer Gmehlich
,
Thomas Heinz
,
Jens Oehlerking
and
Matthias Woehrle
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Keyphrases
formal specifications
,
hybrid automata
,
Industrial
,
temporal logic
,
test case generation
.
Copyright © 2012-2025 easychair.org. All rights reserved.
