Formal Specification of Multi-Window User Interface in PVS.
Communications in Computer and Information Science（2016）
摘要
Safety critical systems are life protecting systems and specification languages like ASLAN and PVS can be used to better protect and analyze the functioning of these systems. A multi- window user interface already specified in ASLAN is converted to PVS. This paper briefs about the system in hand, newly added input focus functionality and the differences between ASLAN and PVS as inferred from the research.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要