Design and formal verification of an intelligent alarm

被引：0
|
作者：
Li, Xin Ben [1 ]
Sun, De Chao [1 ]
机构：
[1] Department of Computer Science and Technology, Zhejiang Wanli University, 8 Qianhu South Road, Ningbo, Zhejiang 315100, China
来源：
WSEAS Transactions on Systems | 2007年 / 6卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：576 / 581
相关论文
共 50 条
  • [1] Design Time Methodology for the Formal Verification of Intelligent Domotic Environments
    Corno, Fulvio
    Sanaullah, Muhammad
    AMBIENT INTELLIGENCE: SOFTWARE AND APPLICATIONS, 2011, 92 : 9 - 16
  • [2] Design of an intelligent Methane gas alarm
    Yang, Jingjing
    Mu, Xiaogang
    PROCEEDINGS OF THE 2015 5TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCES AND AUTOMATION ENGINEERING, 2016, 42 : 524 - 528
  • [3] The design of the intelligent alarm ring foot
    Chen, Jiahui
    PROCEEDINGS OF THE 2017 5TH INTERNATIONAL CONFERENCE ON MACHINERY, MATERIALS AND COMPUTING TECHNOLOGY (ICMMCT 2017), 2017, 126 : 243 - 246
  • [4] Design and Formal Verification of DZMBE
    Mohammadi, Mahdi Soodkhah
    Bafghi, Abbas Ghaemi
    ISECURE-ISC INTERNATIONAL JOURNAL OF INFORMATION SECURITY, 2013, 5 (01): : 37 - 53
  • [5] Incremental formal design verification
    Swamy, Gitanjali M.
    Brayton, Robert K.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1994, : 458 - 465
  • [6] ALARM VERIFICATION AND DESIGN CONSIDERATIONS FOR RELIABLE FIRE ALARM SYSTEMS.
    Solomon, Eli
    Fire journal Boston, Mass., 1986, 80 (02): : 26 - 94
  • [7] Design of Intelligent Telephone Alarm System with Intelligent Control System
    He, Juan
    Kang, Shuai
    ADVANCED RESEARCH ON MATERIAL, ENERGY AND CONTROL ENGINEERING, 2013, 648 : 281 - 284
  • [8] Intelligent smoke temperature alarm system design
    Hong, Yun
    FRONTIERS OF MANUFACTURING AND DESIGN SCIENCE IV, PTS 1-5, 2014, 496-500 : 1648 - 1651
  • [9] Design of Wireless Intelligent Home Alarm System
    Cao Shuxia
    Chen Yanda
    2012 INTERNATIONAL CONFERENCE ON INDUSTRIAL CONTROL AND ELECTRONICS ENGINEERING (ICICEE), 2012, : 1511 - 1513
  • [10] The design and realization of the household intelligent alarm system
    Tao, Guo Hong
    International Journal of Smart Home, 2015, 9 (06): : 83 - 90
12345