EPTCS 395 Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems

被引：0
|
作者：
Abraham, Erika [1 ]
机构：
[1] Rhein Westfal TH Aachen, Aachen, Germany
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2023年 / 395期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页数：5
相关论文
共 50 条
  • [21] Example Applications of Formal Methods to Aerospace and Autonomous Systems
    Humphrey, Laura
    2023 IEEE INTERNATIONAL CONFERENCE ON ASSURED AUTONOMY, ICAA, 2023, : 67 - 75
  • [22] Introduction to the Special Section on the Fifth International Workshop on Multimedia Information Systems
    Golubchik, L
    Tripathi, SK
    Tsotras, VJ
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2001, 13 (05) : 719 - 720
  • [23] FMICS 2008-13th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
    Cofer, Darren
    Fantechi, Alessandro
    ERCIM NEWS, 2008, (75): : 11 - 11
  • [24] Review of the selected proceedings of the Fifth International Workshop on Data Integration in the Life Sciences 2008 - Introduction
    Bairoch, Amos
    Cohen-Boulakia, Sarah
    Froidevaux, Christine
    BMC BIOINFORMATICS, 2008, 9 (Suppl 8)
  • [25] Special issue devoted to the Proceedings of the Fifth International Workshop on Mathematical Aspects of Fluid and Plasma Dynamics
    不详
    TRANSPORT THEORY AND STATISTICAL PHYSICS, 2000, 29 (3-5): : XI - XI
  • [26] Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems Vienna, Austria, 8 July 2016 Preface
    Uhrmacher, Adelinde M.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (217): : 1 - 3
  • [27] First international workshop on formal methods in software product line engineering
    Schaefer, Ina
    Carbon, Ralf
    SPLC 2010 - Proceedings of the 14th International Software Product Line Conference, 2010,
  • [28] The Fifth International Conference on Autonomic and Autonomous Systems: ICAS 2009 - Preface
    Coupaye, Thierry
    Dini, Petre
    Murata, Masayuki
    Vasilakos, Athanasios
    Herrero, Lourdes Peñalver
    Mauri, Jaime Lloret
    Crosta, Stefano
    Ung, Kevin Y.
    Calinescu, Radu
    Marin, Mauricio
    Turro, Carlos
    Liberal, Fidel
    Ferro, Armando
    Salaun, Mikael
    Proceedings of the 5th International Conference on Autonomic and Autonomous Systems, ICAS 2009, 2009,
  • [29] FMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering: Foreword
    Gligor, Virgil
    Mantel, Heiko
    FMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering, 2007,
  • [30] Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems, Berlin, April 3-4, 2000 - Selected papers - Preface
    Garavel, H
    Gnesi, S
    Schieferdecker, I
    SCIENCE OF COMPUTER PROGRAMMING, 2003, 46 (03) : 195 - 196
12345