Model-Based Engineering for Avionics - Will Specification and Formal Verification e.g. Based on Broy's Streams Become Feasible?
Software Engineering（2019）
关键词
avionics,specification,formal verification,engineering,model-based
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要