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 条
  • [41] Modular Platform Approach for UWB Radar System Design and Verification Challenges
    Eged, Bertalan
    Fiengo, Raffaele
    Hall, David A.
    MICROWAVE JOURNAL, 2014, : 8 - 16
  • [42] Offline signature verification system: a graph neural network based approach
    Sourodeep Roy
    Debjit Sarkar
    Samir Malakar
    Ram Sarkar
    Journal of Ambient Intelligence and Humanized Computing, 2023, 14 : 8219 - 8229
  • [43] Hybrid diagrams: A deductive-algorithmic approach to hybrid system verification
    de Alfaro, L
    Kapur, A
    Manna, Z
    STACS 97 - 14TH ANNUAL SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE, 1997, 1200 : 153 - 164
  • [44] Identification and verification system of offline handwritten signature using fractal approach
    Zouari, Ramzi
    Mokni, Raouia
    Kherallah, Monji
    2014 FIRST INTERNATIONAL IMAGE PROCESSING, APPLICATIONS AND SYSTEMS CONFERENCE (IPAS), 2014,
  • [45] United states laboratory element electrical power system verification approach
    Wallen, HW
    Fu, SJ
    JOURNAL OF PROPULSION AND POWER, 1997, 13 (04) : 570 - 573
  • [46] Towards Mechatronics Approach of System Design, Verification and Validation for Autonomous Vehicles
    Samak, Chinmay
    Samak, Tanmay
    Krovi, Venkat
    2023 IEEE/ASME INTERNATIONAL CONFERENCE ON ADVANCED INTELLIGENT MECHATRONICS, AIM, 2023, : 1208 - 1213
  • [47] A Model-based Approach for the Modeling and the Verification of Railway Signaling System
    Bougacha, Racem
    Wakrime, Abderrahim Ait
    Kallel, Slim
    Ben Ayed, Rahma
    Collart-Dutilleul, Simon
    PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), 2019, : 367 - 376
  • [48] Verification of real-time system requirements: A Petri net approach
    Szpyrka, M
    REAL TIME PROGRAMMING 1999 (WRTP'99), 1999, : 165 - 170
  • [49] United States Laboratory element electrical power system verification approach
    Wallen, Herb W.
    Fu, S.Johnny
    1997, AIAA, Reston, VA, United States (13)
  • [50] A Novel End-To-End Approach For Offline Signature Verification System
    Thakare, Bhushan S.
    Deshmukh, Hemant R.
    2018 3RD INTERNATIONAL CONFERENCE FOR CONVERGENCE IN TECHNOLOGY (I2CT), 2018,
12345