Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jagadish Suryadevara
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification
Communications in Computer and Information Science
Mathematics
Computer Science
Related publications
Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Modeling and Verification for MVB
Journal of Applied Mathematics
Applied Mathematics
Study on Formal Modeling and Verification of Safety Computer Platform
Advances in Mechanical Engineering
Mechanical Engineering
Formal Semantics and Verification for Feature Modeling
Verification of Anchoring in Foundations of Wind Turbine Towers
American Journal of Engineering and Applied Sciences
Geotechnical Engineering
Energy Engineering
Engineering Geology
Engineering
Chemical Engineering
Power Technology
Environmental Engineering
Computer Science
Significance of Effective Lubrication in Mitigating System Failures — A Wind Turbine Gearbox Case Study
Wind Engineering
Renewable Energy
Power Technology
the Environment
Sustainability
Energy Engineering
A Numerical Study on Dynamic Response of Semi-Submersible Floating Offshore Wind Turbine System and Its Verification by Experiment
Doboku Gakkai Ronbunshuu A
Overview of Wind Turbine Modeling in Modelica Language
International Journal of Engineering and Technology
Wind Turbine Vibration Study
