EXPERIENCE USING VDM IN STC

被引：0
|
作者：
CRISPIN, RJ
机构：
来源：
LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 252卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：19 / 32
页数：14
相关论文
共 50 条
  • [41] VDM over PSP: A pilot course for VDM beginners to confirm its suitability for their development
    Suzumori, H
    Kaiya, H
    Kaijiri, K
    27TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2003, : 327 - 334
  • [42] The visualization of dialect data with VDM
    Haimerl, Edgar
    ZEITSCHRIFT FUR ROMANISCHE PHILOLOGIE, 2024, 139 (04): : 991 - 1002
  • [43] The transition from VDL to VDM
    Jones, CB
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2001, 7 (08) : 631 - 640
  • [44] THE 1983 VDM CONFERENCE IN WORMS
    WANGENHEIM, AV
    MUSICA, 1986, 40 (04): : 367 - 369
  • [45] Krupp VDM is on Wire 2000
    不详
    ADVANCED ENGINEERING MATERIALS, 2000, 2 (03) : 75 - 75
  • [46] Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL
    Afzaal, Hamra
    Imran, Muhammad
    Zafar, Nazir Ahmad
    2015 13TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT), 2015, : 71 - 76
  • [47] USING VDM WITH RELY AND GUARANTEE-CONDITIONS - EXPERIENCES FROM A REAL PROJECT
    WOODCOCK, JCP
    DICKINSON, B
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 328 : 434 - 458
  • [48] Vdm-Technologietag: 2.3.04
    Anon
    Papier Und Druck, 2004, 110 (01):
  • [49] New chairman at Krupp VDM
    不详
    ADVANCED ENGINEERING MATERIALS, 2000, 2 (07) : 405 - 406
  • [50] QCD coupling constants and VDM
    Erkol, G.
    Ozpineci, A.
    Zamiralov, V. S.
    QCD@WORK 2012: INTERNATIONAL WORKSHOP ON QUANTUM CHROMODYNAMICS: THEORY AND EXPERIMENT, 2012, 1492 : 165 - 170
12345