Evolving Critical Systems - Track Introduction

被引：0
|
作者：
Hinchey, Mike [1 ]
Margaria, Tiziana [2 ]
机构：
[1] Univ Limerick, Lero Irish Software Engn Res Ctr, Limerick, Ireland
[2] Univ Potsdam, Chair Serv & Software Engn, Potsdam, Germany
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: TECHNOLOGIES FOR MASTERING CHANGE, PT I | 2014年 / 8802卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：1 / 3
页数：3
相关论文
共 50 条
  • [1] GUEST EDITORS' INTRODUCTION: EVOLVING CRITICAL SYSTEMS
    Lienert, Dieter
    Kriso, Stefan
    COMPUTER, 2010, 43 (05) : 30 - 30
  • [2] Introduction to the EternalS Track: Trustworthy Eternal Systems via Evolving Software, Data and Knowledge
    Moschitti, Alessandro
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, 2010, 6416 : 1 - 2
  • [3] Evolving Critical Systems
    Hinchey, Mike
    2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 1 - 1
  • [4] Genomes as evolving systems - Introduction
    Gojobori, T
    MOLECULAR STRATEGIES IN BIOLOGICAL EVOLUTION, 1999, 870 : 292 - 292
  • [5] Knowledge Systems Track Introduction
    Jennex, Murray
    Croasdell, David T.
    2014 47TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), 2014, : 3356 - 3356
  • [6] Knowledge Systems Track Introduction
    Jennex, Murray
    Croasdell, David T.
    PROCEEDINGS OF THE 46TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2013, : 3373 - 3373
  • [7] Introduction to the complex systems track
    Thomas, R.J.
    2003, Institute of Electrical and Electronics Engineers Inc.
  • [8] Knowledge Systems Track Introduction
    Jennex, Murray
    Croasdell, David T.
    2015 48TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), 2015, : 3670 - 3670
  • [9] Introduction to the Organizational Systems and Technology Track
    Watson, Hugh J.
    PROCEEDINGS OF THE 46TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2013, : 3714 - 3714
  • [10] Introduction to the organizational systems and technology track
    Proc. Annu. Hawaii Int. Conf. Syst. Sci., 2006, (163):
12345