Scalable hardware library for the rapid prototyping of SDL specifications

被引：0
|
作者：
Univ of Erlangen-Nuremberg, Erlangen, Germany [1 ]
机构：
来源：
Proc Int Workshop Rapid Syst Prototyping | / 120-125期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
13
引用
收藏
相关论文
共 50 条
  • [21] Rapid prototyping of embedded hardware/software systems
    Buchenrieder, K
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2000, 5 (3-4) : 215 - 221
  • [22] Rapid hardware prototyping on RPM-2
    Dubois, M
    Jeong, J
    Song, YH
    Moga, A
    IEEE DESIGN & TEST OF COMPUTERS, 1998, 15 (03): : 112 - 118
  • [23] Rapid prototyping of mixed hardware and software systems
    Edwards, M
    Fozard, B
    EUROMICRO SYMPOSIUM ON DIGITAL SYSTEM DESIGN, PROCEEDINGS: ARCHITECTURES, METHODS AND TOOLS, 2002, : 118 - 125
  • [24] Rapid prototyping systems for early hardware verification
    Anon
    Electronic Product Design, 1994, 15 (10):
  • [25] Rapid Prototyping of Embedded Hardware/Software Systems
    Klaus Buchenrieder
    Design Automation for Embedded Systems, 2000, 5 : 215 - 221
  • [26] Rapid hardware prototyping on RPM-2
    Dubois, Michel
    Jeong, Jaeheon
    Song, Yong Ho
    Moga, Adrian
    IEEE Design and Test of Computers, 1998, 15 (03): : 112 - 118
  • [27] MIXING LOTOS AND SDL SPECIFICATIONS
    SARIA, H
    NIRSCHL, H
    BINDING, C
    IFIP TRANSACTIONS C-COMMUNICATION SYSTEMS, 1992, 2 : 425 - 439
  • [28] Techniques for abstracting SDL specifications
    Boroday, S
    Groz, R
    Petrenko, A
    Quemener, YM
    TELECOMMUNICATIONS AND BEYOND: THE BROADER APPLICABILITY OF SDL AND MSC, 2003, 2599 : 141 - 157
  • [29] Formal Automated Transformation of SDL Specifications to Lotos Specifications
    El-Gendy, Hazem
    El Kadhi, Nabil
    Debnath, Narayan
    2008 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, 2008, : 1117 - +
  • [30] Formal automated transformation of lotos specifications to SDL specifications
    El-Gendy, H
    8TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: INDUSTRIAL SYSTEMS, 2004, : 237 - 241
12345