default search action

combined dblp search
author search
venue search
publication search

ask others

4th ESSS 2015: Oslo, Norway

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

> Home > Conferences and Workshops > ESSS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/PangLM15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PangLM15
Jun Pang, Yang Liu, Sjouke Mauw:
Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015. EPTCS 184, 2015
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ArcileDKDR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArcileDKDR15
Johan Arcile, Jean-Yves Didier, Hanna Klaudel, Raymond R. Devillers, Artur Rataj:
Indefinite waitings in MIRELA systems. 5-18
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BusardCLPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BusardCLPS15
Simon Busard, Quentin Cappart, Christophe Limbrée, Charles Pecheur, Pierre Schaus:
Verification of railway interlocking systems. 19-31
- view
  authority control:
- export record
  dblp key:
  - journals/corr/KromodimoeljoL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/KromodimoeljoL15
Sentot Kromodimoeljo, Peter A. Lindsay:
Automatic Generation of Minimal Cut Sets. 33-47
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MohlmannT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MohlmannT15
Eike Möhlmann, Oliver E. Theel:
Breaking Dense Structures: Proving Stability of Densely Structured Hybrid Systems. 49-63
- view
  authority control:
- export record
  dblp key:
  - journals/corr/PangWLWNCT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PangWLWNCT15
Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine:
Formal Verification of Real-Time Function Blocks Using PVS. 65-79
- view
  authority control:
- export record
  dblp key:
  - journals/corr/WangOH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/WangOH15
Chen-Wei Wang, Jonathan S. Ostroff, Simon Hudon:
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems. 81-95

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.