THE VDM-SL EDITOR AND CONSISTENCY CHECKER

被引：0
|
作者：
DAMM, FM [1 ]
BRUUN, H [1 ]
HANSEN, BS [1 ]
机构：
[1] TECH UNIV DENMARK,DEPT COMP SCI,DK-2800 LYNGBY,DENMARK
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1991年 / 551卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：692 / 693
页数：2
相关论文
共 50 条
  • [41] SystemC TLM2-Protocol Consistency Checker Using Petri Net
    Bennour, Imed E.
    PROCEEDINGS OF 2016 11TH INTERNATIONAL DESIGN & TEST SYMPOSIUM (IDT), 2016, : 193 - 198
  • [42] 'HUCKLEBERRY FINN' - CLEMENS,SL, BEAVER,H, EDITOR
    CARRINGTON, GC
    AMERICAN LITERARY REALISM 1870-1910, 1988, 21 (01): : 76 - 78
  • [43] A consistency checker for a fuzzy diagnosis system applied to warm rolling-mills in steelmaking plants
    Slany, W
    Vascak, J
    FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 206 - 212
  • [44] EARLY TALES AND SKETCHES - CLEMENS,SL, BRANCH,EM, EDITOR, HIRST,RH, EDITOR
    SPRINGER, H
    NINETEENTH-CENTURY FICTION, 1983, 37 (04): : 608 - 610
  • [45] Letter to the editor: Consistency of LPC+CH
    Mattila, JK
    KYBERNETIKA, 1998, 34 (02) : 235 - 237
  • [46] MC3: a steady-state model and constraint consistency checker for biochemical networks
    Yousofshahi, Mona
    Ullah, Ehsan
    Stern, Russell
    Hassoun, Soha
    BMC SYSTEMS BIOLOGY, 2013, 7
  • [47] MC-Checker: Detecting Memory Consistency Errors in MPI One-Sided Applications
    Chen, Zhezhe
    Dinan, James
    Tang, Zhen
    Balaji, Pavan
    Zhong, Hua
    Wei, Jun
    Huang, Tao
    Qin, Feng
    SC14: INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS, 2014, : 499 - 510
  • [48] THE MIDDLE-EAST AND THE WESTERN ALLIANCE - SPIEGEL,SL, EDITOR
    KENT, M
    AUSTRALIAN JOURNAL OF POLITICS AND HISTORY, 1985, 31 (02): : 371 - 372
  • [49] THE AUTOBIOGRAPHY OF TWAIN,MARK - CLEMENS,SL, NEIDER,C, EDITOR
    HARE, MS
    MARK TWAIN JOURNAL, 1983, 21 (03) : 65 - 65
  • [50] READING THE 'ODYSSEY' - SELECTED INTERPRETATIVE ESSAYS - SCHEIN,SL, EDITOR
    不详
    TLS-THE TIMES LITERARY SUPPLEMENT, 1996, (4859): : 32 - 32
12345