Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11)

被引：0
|
作者：
Salauen, Gwen [1 ]
Schaetz, Bernhard [2 ]
机构：
[1] Inria, Grenoble INP, Grenoble, France
[2] Fortiss GmbH, Munich, Germany
来源：
SCIENCE OF COMPUTER PROGRAMMING | 2014年 / 80卷
关键词：
D O I：
10.1016/j.scico.2013.01.008
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：107 / 108
页数：2
相关论文
共 50 条
  • [41] Special issue on Industrial Robot Technology-Selected Papers from WRS 2018 PREFACE
    Watanabe, Tetsuyou
    Harada, Kensuke
    Tsuji, Tokuo
    [J]. ADVANCED ROBOTICS, 2020, 34 (7-8) : 407 - 407
  • [42] Special Section: Selected Papers From IDETC 2018
    Gosselin, Clement
    Larochelle, Pierre M.
    Mueller, Andreas
    [J]. JOURNAL OF MECHANISMS AND ROBOTICS-TRANSACTIONS OF THE ASME, 2019, 11 (02):
  • [43] Special section with selected papers from PODC 2010
    Guerraoui, Rachid
    [J]. DISTRIBUTED COMPUTING, 2012, 25 (02) : 163 - 163
  • [44] Special section with selected papers from PODC 2010
    Rachid Guerraoui
    [J]. Distributed Computing, 2012, 25 : 163 - 163
  • [45] Special section on selected papers from TMA 2015
    Barlet-Ros, Pere
    Steiner, Moritz
    [J]. COMPUTER COMMUNICATIONS, 2016, 94 : 103 - 103
  • [46] Special Section for Selected Papers from ISCAS 2007
    Lian, Yong
    Sawan, Mohamad
    [J]. IEEE TRANSACTIONS ON BIOMEDICAL CIRCUITS AND SYSTEMS, 2008, 2 (03) : 162 - 163
  • [47] Special section: Selected papers from EACH 2020
    Eide, Hilde
    Finset, Arnstein
    [J]. PATIENT EDUCATION AND COUNSELING, 2021, 104 (10) : 2384 - 2385
  • [48] A special section - Selected peer-reviewed papers on soft nanotechnology - Preface
    Shimomura, Masatsugu
    Ijiro, Kuniharu
    Kikuchi, Masanori
    Tanaka, Junzo
    [J]. JOURNAL OF NANOSCIENCE AND NANOTECHNOLOGY, 2007, 7 (03)
  • [49] Dependable Embedded Systems and Formal Methods for Industrial Critical Systems
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2009, (78): : 9 - 9
  • [50] On Education and Training in Formal Methods for Industrial Critical Systems
    Westphal, Bernd
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 85 - 103
12345