Special issue on formal active and passive testing of distributed and networked systems

被引：0
|
作者：
Ana R. Cavalli
Teruo Higashino
Manuel Núñez
机构：
[1] Télécom SudParis,Graduate School of Information Science and Technology
[2] Osaka University,Departamento de Sistemas Informáticos y Computación
[3] Universidad Complutense de Madrid,undefined
来源：
annals of telecommunications - annales des télécommunications | 2015年 / 70卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：83 / 84
页数：1
相关论文
共 50 条
  • [21] SPECIAL ISSUE ON DISTRIBUTED SYSTEMS - FOREWORD
    CRISTIAN, F
    SKEEN, D
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1987, 13 (01) : 1 - 2
  • [22] Special issue on "Networked Embedded Hybrid Control Systems"
    Koo, T. John
    Sastry, Shankar
    ASIAN JOURNAL OF CONTROL, 2008, 10 (01) : 1 - 2
  • [23] Editorial for special issue on security and trust on networked systems
    Meng, Weizhi
    Katsikas, Sokratis K.
    Chen, Jiageng
    Chen, Chao
    INTERNATIONAL JOURNAL OF NETWORK MANAGEMENT, 2023, 33 (03)
  • [24] Special issue on "Control of networked and complex process systems"
    El-Farra, Nael H.
    Mhaskar, Prashant
    COMPUTERS & CHEMICAL ENGINEERING, 2008, 32 (09) : 1963 - 1963
  • [25] Adaptive Active-Passive Networked Multiagent Systems
    Arabi, Ehsan
    Panagou, Dimitra
    Yucelen, Tansel
    2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 1113 - 1118
  • [26] Special Issue: Formal Methods for Interactive Systems Preface
    Reeves, Steve
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2015, 11 (02) : 71 - 71
  • [27] Formal correctness of a passive testing approach for timed systems
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    ICSTW 2009: IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION, AND VALIDATION WORKSHOPS, 2009, : 67 - 76
  • [28] Formal passive testing of timed systems: theory and tools
    Andres, Cesar
    Merayo, Mercedes G.
    Nunez, Manuel
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (06): : 365 - 405
  • [29] Special issue: Distributed computing systems: New trends - Introduction to the special issue
    Kim, MH
    Mori, K
    COMPUTER COMMUNICATIONS, 1997, 20 (03) : 143 - 144
  • [30] Special issue: Special issue on distributed multimedia systems for virtual society - Preface
    Shibata, Y
    Shih, TK
    MULTIMEDIA TOOLS AND APPLICATIONS, 2003, 20 (01) : 5 - 5
12345