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 条
  • [1] Formal specification and verification of VHDL
    Bickford, M
    Jamsek, D
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 310 - 326
  • [2] FORMAL SPECIFICATION AND VERIFICATION OF ISDN SERVICES IN LOTOS
    YAMANO, K
    JOKANOVIC, D
    ANDO, T
    OHTA, M
    TAKAHASHI, K
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (08) : 715 - 722
  • [3] Formal specification in VHDL for hardware verification
    Reetz, R
    Schneider, K
    Kropf, T
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 257 - 263
  • [4] ON THE FORMAL SPECIFICATION AND VERIFICATION OF CIM ARCHITECTURES USING LOTOS
    BIEMANS, F
    BLONK, P
    COMPUTERS IN INDUSTRY, 1986, 7 (06) : 491 - 504
  • [5] FORMAL CONVERSION BETWEEN LOTOS SPECIFICATION AND GALILEO NETS
    LEON, G
    MARCHENA, S
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 483 - 490
  • [6] THE RT-LOTOS FORMAL SPECIFICATION OF THE CONDITIONAL DELIVERY MECHANISM
    COURTIAT, JP
    DEOLIVEIRA, RC
    CARMO, LFRD
    INFORMATION SYSTEMS, 1995, 20 (06) : 521 - 535
  • [7] RT-LOTOS formal specification of the conditional delivery mechanism
    Courtiat, Jean-Pierre
    de Oliveira, Roberto C.
    Rust da Costa Carmo, Luiz F.
    Information Systems, 1995, 20 (06):
  • [8] The formal specification of the Fieldbus Foundation link scheduler in E-LOTOS
    Petalidis, N
    Gill, DS
    SECOND INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1998, : 200 - 209
  • [9] FORMAL SPECIFICATION METHODS FOR REACTIVE SYSTEMS
    FURBACH, U
    JOURNAL OF SYSTEMS AND SOFTWARE, 1993, 21 (02) : 129 - 139
  • [10] FORMAL SPECIFICATION OF TELEPHONE SYSTEMS IN LOTOS - THE CONSTRAINT-ORIENTED STYLE APPROACH
    FACI, M
    LOGRIPPO, L
    STEPIEN, B
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1991, 21 (01): : 53 - 67
12345