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 条
  • [31] Knowledge Innovation and Entrepreneurial Systems Track Introduction
    Jennex, Murray
    Croasdell, David T.
    PROCEEDINGS OF THE 49TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS 2016), 2016, : 4009 - 4009
  • [32] Introduction to the Healthcare Systems and Quality of Life Track
    Suomi, Reima
    Tremblay, Monica Chiarini
    VanderMeer, Debra
    TRANSDISCIPLINARY REACH OF DESIGN SCIENCE RESEARCH, DESRIST 2022, 2022, 13229 : 168 - 169
  • [33] Federative SCADA - Solution for Evolving Critical Systems
    Stoian, I.
    Stancel, E.
    Ignat, S.
    Balogh, Sz.
    CONTROL ENGINEERING AND APPLIED INFORMATICS, 2010, 12 (03): : 52 - 58
  • [34] EVOLVING SOFTWARE ARCHITECTURE DESCRIPTIONS OF CRITICAL SYSTEMS
    Mens, Tom
    Magee, Jeff
    Rumpe, Bernhard
    COMPUTER, 2010, 43 (05) : 42 - 48
  • [35] Rigorous Engineering of Collective Adaptive Systems Track Introduction
    Jaehnichen, Stefan
    Wirsing, Martin
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES, PT I, 2016, 9952 : 535 - 538
  • [36] Medical Cyber-Physical Systems (Track Introduction)
    Bartocci, Ezio
    Gao, Sicun
    Smolka, Scott A.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 353 - 355
  • [37] SAFETY-CRITICAL SYSTEMS - INTRODUCTION
    BENNETT, P
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 5 - 5
  • [38] ESTROGEN REPLACEMENT - THE EVOLVING ROLE OF ALTERNATIVE DELIVERY SYSTEMS - INTRODUCTION
    LOBO, RA
    AMERICAN JOURNAL OF OBSTETRICS AND GYNECOLOGY, 1995, 173 (03) : 981 - 981
  • [39] INTRODUCTION TO SPECIAL ISSUE ON SOFTWARE FOR CRITICAL SYSTEMS
    LEVESON, NG
    NEUMANN, PG
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 1 - 1
  • [40] Special issue: Part Special Issue on Visualisation of Evolving Systems introduction
    Cox, Philip
    JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 2013, 24 (05): : 389 - 389
12345