Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification.
FTSCS(2014)
关键词
Industrial case-study, Wind turbine system, MARTE/CCSL, EAST-ADL, Verification, Model checking, UPPAAL
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要