The Lambda approach to system verification

被引：0
|
作者：
Hughes, RB [1 ]
Musgrave, G [1 ]
机构：
[1] ABSTRACT HARDWARE LTD,UXBRIDGE UB8 3PQ,MIDDX,ENGLAND
来源：
HARDWARE/SOFTWARE CO-DESIGN | 1996年 / 310卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：427 / 451
页数：25
相关论文
共 50 条
  • [21] System-level assertions: approach for electronic system-level verification
    Sohofi, Hassan
    Navabi, Zainalabedin
    IET COMPUTERS AND DIGITAL TECHNIQUES, 2015, 9 (03): : 142 - 152
  • [22] Integrated biometric verification system using soft computing approach
    Wahab, A.
    Ng, G. S.
    Jonatan, A.
    NEURAL PROCESSING LETTERS, 2007, 25 (02) : 111 - 126
  • [23] FINGERPRINT VERIFICATION SYSTEM: A NON-MINUTIAE BASED APPROACH
    Helfroush, Mohammad Sadegh
    Mohammadpour, Mohsen
    2009 2ND INTERNATIONAL CONFERENCE ON COMPUTER, CONTROL AND COMMUNICATION, 2009, : 530 - +
  • [24] A Comprehensive Validation Approach of PHM System's Diagnosis and Verification
    Hou, Wenkui
    Yan, Junfeng
    GuopingYao
    PROCEEDINGS OF 2014 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE (PHM-2014 HUNAN), 2014, : 199 - 202
  • [25] Landing system verification based on Petri nets and a hybrid approach
    Villani, Emilia
    Miyagi, Paulo Eigi
    Valette, Robert
    IEEE TRANSACTIONS ON AEROSPACE AND ELECTRONIC SYSTEMS, 2006, 42 (04) : 1420 - 1436
  • [26] An Approach toward Reuse of Engineering Models in the Automation of System Verification
    Foster, George J.
    Helm, Annette L.
    2011 IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON 2011), 2011, : 556 - 562
  • [27] An approach to detect replay attack in automatic speaker verification system
    Saranya, S.
    Bharathi, B.
    Kavitha, S.
    2018 2ND INTERNATIONAL CONFERENCE ON COMPUTER, COMMUNICATION, AND SIGNAL PROCESSING (ICCCSP): SPECIAL FOCUS ON TECHNOLOGY AND INNOVATION FOR SMART ENVIRONMENT, 2018, : 91 - 95
  • [28] A Formal Modeling and Verification Approach for Real-Time System
    Yan, Fei
    Tang, Tao
    2008 7TH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-23, 2008, : 204 - 208
  • [29] Integrated Biometric Verification System Using Soft Computing Approach
    A. Wahab
    G. S. Ng
    A. Jonatan
    Neural Processing Letters, 2007, 25 : 111 - 126
  • [30] Timed automata approach to real time distributed system verification
    Krákora, J
    Waszniowski, L
    Písa, P
    Hanzálek, Z
    WFCS 2004: IEEE INTERNATIONAL WORKSHOP ON FACTORY COMMUNICATION SYSTEMS, PROCEEDINGS, 2004, : 407 - 410
12345