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 条
  • [1] Special issue on formal active and passive testing of distributed and networked systems
    Cavalli, Ana R.
    Higashino, Teruo
    Nunez, Manuel
    ANNALS OF TELECOMMUNICATIONS-ANNALES DES TELECOMMUNICATIONS, 2015, 70 (3-4): : 83 - 84
  • [2] SPECIAL ISSUE ON "DISTRIBUTED AND NETWORKED CONTROL SYSTEMS"
    Pang , Chee Khiang
    ASIAN JOURNAL OF CONTROL, 2015, 17 (01) : 1 - 2
  • [3] Special issue on Recent Developments in Distributed Networked Control Systems
    Han, Qing-Long
    Peng, Chen
    Fei, Min-Rui
    INFORMATION SCIENCES, 2016, 370 : 551 - 553
  • [4] Special issue on deep learning in distributed and networked complex systems
    Ge, Xiaohua
    Wang, Yu-Long
    Han, Qing-Long
    NEUROCOMPUTING, 2020, 400 : 381 - 383
  • [5] Distributed Control of Active-Passive Networked Multiagent Systems
    Yucelen, Tansel
    Peterson, John Daniel
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2017, 4 (04): : 707 - 715
  • [6] A Formal Passive Performance Testing Approach for Distributed Communication Systems
    Che, Xiaoping
    Maag, Stephane
    ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2013, : 74 - 84
  • [7] Preface to the special issue on Formal Approaches to Parallel and Distributed Systems 2018
    Loulergue, Frederic
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 116
  • [8] Special Issue on Event-Triggered Control and Filtering of Distributed Networked Systems
    Han, Qing-Long
    Ding, Lei
    Ge, Xiaohua
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (09): : 3108 - 3111
  • [9] Special issue on networked control systems
    Antsaklis, P
    Baillieul, J
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2004, 49 (09) : 1421 - 1423
  • [10] Special issue: Parallel and Distributed Systems: Testing and Debugging (PADTAD)
    Ur, Shmuel
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2007, 19 (03): : 265 - 266
12345