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 条
  • [1] Proceedings of the Fifth International Workshop on Advances in Electrocorticography
    Ritaccio, Anthony
    Brunner, Peter
    Gunduz, Aysegul
    Hermes, Dora
    Hirsch, Lawrence J.
    Jacobs, Joshua
    Kamada, Kyousuke
    Kastner, Sabine
    Knight, Robert T.
    Lesser, Ronald P.
    Miller, Kai
    Sejnowski, Terrence
    Worrell, Gregory
    Schalk, Gerwin
    EPILEPSY & BEHAVIOR, 2014, 41 : 183 - 192
  • [2] EPTCS 187 Proceedings Second International Workshop on Formal Integrated Development Environment Oslo, Norway, June 22, 2015 Preface
    不详
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (187):
  • [3] Proceedings of the 2nd International Workshop on Formal Methods for Interactive Systems (FMIS 2007) Preface
    Cerone, Antonio
    Curzon, Paul
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 208 : 1 - 3
  • [4] Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Proceedings
    Lect. Notes Comput. Sci., 1600,
  • [5] Proceedings of the Fifth International Workshop on MHC Evolution - Introduction
    Gyllensten, U
    HEREDITAS, 1997, 127 (1-2) : U2 - U2
  • [6] Formal Methods for Autonomous Systems
    Wongpiromsarn, Tichakorn
    Ghasemi, Mahsa
    Cubuktepe, Murat
    Bakirtzis, Georgios
    Carr, Steven
    Karabag, Mustafa O.
    Neary, Cyrus
    Gohari, Parham
    Topcu, Ufuk
    FOUNDATIONS AND TRENDS IN SYSTEMS AND CONTROL, 2023, 10 (3-4): : 180 - 407
  • [7] EPTCS 184 Proceedings 4th International Workshop on Engineering Safety and Security Systems Oslo, Norway, June 22, 2015 Preface
    Pang, Jun
    Liu, Yang
    Mauw, Sjouke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (184):
  • [8] 17th International Workshop on formal Methods for Industrial Critical Systems
    Mateescu, Radu
    ERCIM NEWS, 2012, (91): : 7 - 7
  • [9] International Workshop on Systems and Algorithms for Formal Argumentation
    Borg, AnneMarie
    Ellmauthaler, Stefan
    Mailly, Jean-Guy
    Niskanen, Andreas
    CEUR Workshop Proceedings, 2024, 3757
  • [10] 12th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
    Leue, Stefan
    Merino, Pedro
    ERCIM NEWS, 2008, (72): : 12 - 12
12345