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 条
  • [1] COLUMBUS System Integration and Verification Approach
    Canovai, G.
    Mellab, K.
    2008 MIKON CONFERENCE PROCEEDINGS, VOLS 1 AND 2, 2008, : 309 - 316
  • [2] A verification approach to applied system security
    Brucker A.D.
    Wolff B.
    International Journal on Software Tools for Technology Transfer, 2005, 7 (3) : 233 - 247
  • [3] An Approach for Verification of a Satellite Simulator - an evolving system
    Barbosa da Silva, Paulo Diego
    Villani, Emilia
    Ambrosio, Ana Maria
    Azevedo, Denise Rotondi
    2016 SEVENTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 2016, : 176 - 182
  • [4] Biometric Palmprint Verification: A Dynamical System Approach
    Palma, David
    Montessoro, Pier Luca
    Giordano, Giulia
    Blanchini, Franco
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2019, 49 (12): : 2676 - 2687
  • [5] A Unified Approach to Requirements Validation and System Verification
    Foster, George J.
    Helm, Annette L.
    2010 IEEE INTERNATIONAL SYSTEMS CONFERENCE, 2010, : 404 - 408
  • [6] A PRACTICAL APPROACH TO PIPELINE SYSTEM MATERIALS VERIFICATION
    Lutz, Andrew R.
    Bubenik, Thomas A.
    PROCEEDINGS OF THE 9TH INTERNATIONAL PIPELINE CONFERENCE - 2012, VOL 4, 2013, : 809 - 813
  • [7] Towards an approach for the verification of downtimeless system evolution
    Suender, Christoph
    Favre-Bulle, Bernard
    Vyatkin, Valeriy
    2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, 2006, : 1203 - +
  • [8] A System Approach to Reliability Verification Test Design
    Zhang, Jiliang
    Geiger, Celine
    Sun, Feng-Bin
    ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM 2016 PROCEEDINGS, 2016,
  • [9] EFFECTIVE INTERACTIONS IN THE LAMBDA-ALPHA-SYSTEM AND LAMBDA-LAMBDA-ALPHA-SYSTEM
    NAKAICHIMAEDA, S
    SCHMID, EW
    ZEITSCHRIFT FUR PHYSIK A-HADRONS AND NUCLEI, 1984, 315 (03): : 287 - 293
  • [10] AN APPROACH TO VERIFICATION OF COMMUNICATION IN DISTRIBUTED COMPUTING SYSTEM SOFTWARE
    YAU, SS
    CHEN, KWI
    9TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, 1989, : 603 - 610
12345