Keyword:requirements

Papers
Machine Learning-based Classifier in the Analysis of Nuclear Power-Specific Requirements Tapani Raunio, Ilpo Suominen, Santeri Myllynen and Rasmus Karell EasyChair Preprint no. 5297
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