Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors

被引:0
|
作者
Cortesi, Agostino [1 ]
Chaki, Nabendu [2 ]
Chaki, Rituparna [2 ]
机构
[1] Ca Foscari Univ, Dept Environm Sci Informat & Stat, Via Torino, I-30172 Venice, Italy
[2] Univ Calcutta, Dept Comp Sci & Engn, Kolkata 700106, India
关键词
D O I
10.1007/s11334-021-00405-7
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
引用
收藏
页码:185 / 186
页数:2
相关论文
共 50 条
  • [1] Verifiability in Systems and Data Engineering: Preface by the Special Issue Editors
    Agostino Cortesi
    Nabendu Chaki
    Rituparna Chaki
    [J]. Innovations in Systems and Software Engineering, 2021, 17 : 185 - 186
  • [2] Preface by the editors of the special issue
    Mel'nikova, O. T.
    Khoroshilov, D. A.
    [J]. SOCIAL PSYCHOLOGY AND SOCIETY, 2018, 9 (03) : 7 - 9
  • [3] Special Issue: Energy Systems Engineering Preface
    Pistikopoulos, Efstratios N.
    Georgiadis, Michael C.
    [J]. COMPUTERS & CHEMICAL ENGINEERING, 2011, 35 (09) : 1645 - 1646
  • [4] Preface to the Special Issue for Process Systems Engineering
    Yamashita, Yoshiyuki
    Noda, Masaru
    Takeda, Kazuhiro
    Matsumoto, Hideyuki
    [J]. JOURNAL OF CHEMICAL ENGINEERING OF JAPAN, 2017, 50 (06) : 383 - 383
  • [5] Foreword by the Editors of the Special Issue PREFACE
    Kudaibergenov, S. E.
    Nuraje, N.
    [J]. BULLETIN OF THE UNIVERSITY OF KARAGANDA-CHEMISTRY, 2022, (107): : 5 - 8
  • [6] SPECIAL ISSUE - HUNGARY - EDITORS PREFACE
    BOGNAR, T
    [J]. INTERNATIONAL JOURNAL OF POLITICAL EDUCATION, 1982, 5 (04): : 287 - 290
  • [7] Special issue on data, knowledge and ontology engineering - Preface
    Cao, CG
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2002, 17 (05) : 521 - 522
  • [8] Preface of the Special Issue: Queueing Systems and Engineering Applications
    Yue, Wuyi
    Takahashi, Yutaka
    [J]. JOURNAL OF SYSTEMS SCIENCE AND SYSTEMS ENGINEERING, 2019, 28 (02) : 129 - 131
  • [9] Special issue: Software engineering: Systems and tools - Preface
    Al-Ghamdi, J
    Sarfraz, M
    Ali, J
    Ahmad, M
    [J]. INFORMATION SCIENCES, 2002, 140 (3-4) : 193 - 194
  • [10] Preface to the Special Issue on Process Engineering of Energy Systems
    Ogunnaike, Babatunde A.
    [J]. INDUSTRIAL & ENGINEERING CHEMISTRY RESEARCH, 2013, 52 (09) : 3043 - 3043