Formal specification of a reactive system: An exercise in VHDL, LOTOS and UNITY

被引：0
|
作者：
Pierre, L [1 ]
机构：
[1] UNIV AIX MARSEILLE 1,CMI,LAB INFORMAT MARSEILLE,F-13453 MARSEILLE 13,FRANCE
来源：
EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/EDTC.1996.494371
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：607 / 607
页数：1
相关论文
共 50 条
  • [21] Specification and verification of the Co4 distributed knowledge system using LOTOS
    Pecheur, C
    AUTOMATED SOFTWARE ENGINEERING, 12TH IEEE INTERNATIONAL CONFERENCE, PROCEEDINGS, 1997, : 63 - 70
  • [22] Reactive system specification and refinement
    Lano, K
    TAPSOFT '95: THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT, 1995, 915 : 696 - 710
  • [23] Formal Specification of Playout System Using Z
    Cao, Yizhen
    Wang, Yongbin
    2ND INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS (SMTA 2015), 2015, : 276 - 282
  • [24] FORMAL SPECIFICATION OF AN ACCESS-CONTROL SYSTEM
    STEPNEY, S
    LORD, SP
    SOFTWARE-PRACTICE & EXPERIENCE, 1987, 17 (09): : 575 - 593
  • [25] Formal Methods for Safety Critical System Specification
    Lockhart, Jonathan
    Purdy, Carla
    Wilsey, Philip
    2014 IEEE 57TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2014, : 201 - 204
  • [26] Formal Specification of a Java']JavaScript Module System
    Kang, Seonghoon
    Ryu, Sukyoung
    ACM SIGPLAN NOTICES, 2012, 47 (10) : 621 - 638
  • [27] TOWARDS FORMAL SPECIFICATION OF A DISTRIBUTED COMPUTING SYSTEM
    AGRAWAL, VK
    PATNAIK, LM
    GOEL, PS
    INTERNATIONAL JOURNAL OF COMPUTER & INFORMATION SCIENCES, 1985, 14 (05): : 277 - 306
  • [28] A FORMAL SYSTEM FOR SPECIFICATION ANALYSIS OF CONCURRENT PROGRAMS
    HIROSE, K
    TAKAHASHI, M
    PUBLICATIONS OF THE RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES, 1983, 19 (03) : 911 - 926
  • [29] Formal Specification and Simulation of the Robot Perceptual System
    Belkhouche, M. Yassine
    Belkhouche, Boumediene
    NOVEL ALGORITHMS AND TECHNIQUES IN TELECOMMUNICATIONS, AUTOMATION AND INDUSTRIAL ELECTRONICS, 2008, : 140 - +
  • [30] A formal specification and method for MAS as a distributed system
    Qi, Y
    Wang, X
    Yan, W
    Mao, XJ
    Qi, ZC
    ADVANCED PARALLEL PROCESSING TECHNOLOGIES, PROCEEDINGS, 2003, 2834 : 189 - 193
12345