Eli Arbel

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Roderick Bloem

> Home > Persons > Eli Arbel

Publications

2016
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/fdl/AleksandrowiczA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/AleksandrowiczA16
Gadi Aleksandrowicz, Eli Arbel, Roderick Bloem, Timon D. ter Braak, Sergei Devadze, Görschwin Fey, Maksim Jenihhin, Artur Jutman, Hans G. Kerkhoff, Robert Könighofer, Jan Malburg, Shiri Moran, Jaan Raik, Gerard K. Rauwerda, Heinz Riener, Franz Röck, Konstantin Shibin, Kim Sunesen, Jinbo Wan, Yong Zhao:
Designing reliable cyber-physical systems overview associated to the special session at FDL'16. FDL 2016: 1-8
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/2016
Roderick Bloem, Eli Arbel:
Hardware and Software: Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings. Lecture Notes in Computer Science 10028, 2016, ISBN 978-3-319-49051-9 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.