Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Fabiano Daher Adegas
Publications
Hybrid Modelling of a Wind Turbine
Simone Schuler
,
Fabiano Daher Adegas
and
Adolfo Anta
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Keyphrases
benchmark
,
hybrid modelling
,
requirements
,
switched system
,
verification
,
wind turbine
.
Copyright © 2012-2024 easychair.org. All rights reserved.