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
相关论文
共 6 条
  • [1] Andersen J, 2014, LECT NOTES COMPUT SC, V8802, P73, DOI 10.1007/978-3-662-45234-9_6
  • [2] Bessai J, 2014, LECT NOTES COMPUT SC, V8802, P26, DOI 10.1007/978-3-662-45234-9_3
  • [3] Bianculli D, 2014, LECT NOTES COMPUT SC, V8802, P41, DOI 10.1007/978-3-662-45234-9_4
  • [4] GUEST EDITORS' INTRODUCTION: EVOLVING CRITICAL SYSTEMS
    Chetali, Boutheina
    [J]. COMPUTER, 2010, 43 (05) : 31 - 31
  • [5] Neubauer J, 2014, LECT NOTES COMPUT SC, V8802, P56, DOI 10.1007/978-3-662-45234-9_5
  • [6] Sedwards A. L. S., 2014, LNCS, V8802, P4
1