Interactive tool for design, simulation, verification, and synthesis of protocols

被引：0
|
作者：
Chao, Daniel Y. [1 ]
Wang, David T. [1 ]
机构：
[1] New Jersey Inst of Technology, Newark, United States
来源：
Software - Practice and Experience | 1994年 / 24卷 / 08期
关键词：
74;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：747 / 783
相关论文
共 50 条
  • [41] An Interactive Pedagogical Tool for Simulation of Controlled Rectifiers
    Carvalho, Filipe
    Chibante, Rui
    de Carvalho, Carlos Vaz
    INFORMATION, 2024, 15 (06)
  • [42] OASIS - AN INTERACTIVE SIMULATION TOOL FOR SAFETY ANALYSIS
    DUFOUR, P
    SEVENTH POWER PLANT DYNAMICS, CONTROL & TESTING SYMPOSIUM, PROCEEDINGS SUPPLEMENT, 1989, : 47 - 58
  • [43] An Interactive Simulation Tool for Image Registration Education
    Gharaibeh, Khaled M.
    Malkawi, Mohammed J.
    Hamza, Ben
    COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, 2010, 18 (02) : 225 - 237
  • [44] Power Exchange Simulation as an Interactive Educational Tool
    Sleisz, Adam
    2013 4TH INTERNATIONAL YOUTH CONFERENCE ON ENERGY (IYCE), 2013,
  • [45] Formal verification and simulation for performance analysis for probabilistic broadcast protocols
    Fehnker, Ansgar
    Gao, Peng
    AD-HOC, MOBILE, AND WIRELESS NETWORKS, PROCEEDINGS, 2006, 4104 : 128 - 141
  • [46] Design tool to express failure detection protocols
    De Florio, V.
    Blondia, C.
    IET SOFTWARE, 2010, 4 (02) : 119 - 133
  • [47] Demo of "Vis Magna" : a Custom and Interactive Tool for the Visualization of VANET Protocols
    Brevi, Daniele
    Cozzetti, H. Agustin
    Scopigno, Riccardo M.
    Xu, Qing
    2011 IEEE VEHICULAR TECHNOLOGY CONFERENCE (VTC FALL), 2011,
  • [48] A Multirate Control Strategy to the Slow Sensors Problem: An Interactive Simulation Tool for Controller Assisted Design
    Salt, Julian
    Cuenca, Angel
    Palau, Francisco
    Dormido, Sebastian
    SENSORS, 2014, 14 (03): : 4086 - 4110
  • [49] Profile design and simulation verification of hard whirling tool for ZC1 worm machining
    Yu, Yaxin
    Ji, Xiaoyan
    Dai, Sheng
    Zuo, Dunwen
    Song, Shuquan
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE, 2023, 237 (08) : 1220 - 1229
  • [50] Towards interactive simulation in automotive design
    André Stork
    Clemens-August Thole
    Stanislav Klimenko
    Igor Nikitin
    Lialia Nikitina
    Yuri Astakhov
    The Visual Computer, 2008, 24 : 947 - 953
12345