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 条
  • [41] Testing and Formal Verification of Logarithmic Function Design
    Agarwal, Sanjeev
    Bhuria, Indu
    INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN SCIENCE AND TECHNOLOGY (ICM2ST-10), 2010, 1324 : 57 - +
  • [42] Research on Formal Design and Verification of Operating Systems
    Qian, Zhenjiang
    Liu, Yongjun
    Jin, Yong
    Xing, Xiaoshuang
    Zhang, Mingxin
    Gong, Shengrong
    Liu, Wei
    Yang, Weiyong
    Tan, Jack
    Zhang, Lifeng
    EMBEDDED SYSTEMS TECHNOLOGY, ESTC 2017, 2018, 857 : 81 - 88
  • [43] The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification
    Feo-Arenis, Sergio
    Westphal, Bernd
    Dietsch, Daniel
    Muniz, Marco
    Andisha, Ahmad Siyar
    FM 2014: FORMAL METHODS, 2014, 8442 : 658 - 672
  • [44] Formal design and intelligent maintenance of ballistic computers
    Zheng, Yujun
    Zhang, Ziqiu
    Xue, Jinyun
    DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 14 : 1199 - 1203
  • [45] The Design and Research of Gas alarm's Intelligent Measuring System
    Mu Ke
    Han Zhigang
    Mu Qing
    PROCEEDINGS OF THE 2012 24TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC), 2012, : 3213 - 3216
  • [46] Design of Intelligent Home Anti-theft Alarm System
    He, Zhao
    Qi, Yu Jun
    PROCEEDINGS OF THE 2015 4TH INTERNATIONAL CONFERENCE ON COMPUTER, MECHATRONICS, CONTROL AND ELECTRONIC ENGINEERING (ICCMCEE 2015), 2015, 37 : 690 - 695
  • [47] Design of The Intelligent Smoke Alarm System Based on Photoelectric Smoke
    Ma, Jiangfei
    Yang, Xiufang
    Wang, Peipei
    SECOND INTERNATIONAL CONFERENCE ON PHOTONICS AND OPTICAL ENGINEERING, 2017, 10256
  • [48] Intelligent Monitoring Design and Research of Modern Instrumentation Failure Alarm
    Yu Shufang
    Shi Xiaoping
    Huang Xiuliang
    GREEN POWER, MATERIALS AND MANUFACTURING TECHNOLOGY AND APPLICATIONS II, 2012, 214 : 534 - +
  • [49] Research and Design A Intelligent Monitoring Alarm System Based on DSP
    Sun, Laijun
    Liu, Jianhai
    Yan, Tingchun
    PROCEEDINGS OF 2013 2ND INTERNATIONAL CONFERENCE ON MEASUREMENT, INFORMATION AND CONTROL (ICMIC 2013), VOLS 1 & 2, 2013, : 1371 - 1374
  • [50] Formal Verification of Cloud Orchestration Design with TOSCA and BPEL
    Chareonsuk, Warun
    Vatanawood, Wiwat
    2016 13TH INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING/ELECTRONICS, COMPUTER, TELECOMMUNICATIONS AND INFORMATION TECHNOLOGY (ECTI-CON), 2016,
12345