Bridging the Dependability and Model Checking worlds

HAL (Le Centre pour la Communication Scientifique Directe)

Abstract

International audience

Authors 2

1. Marc Bouissou

   Électricité de France (France)

   Affiliation as printed

   EDF R&D - EDF R&D (France)

   EDF R&D

2. Shahid Ali Khan Aachen Institute for Industrial Management [RWTH Aachen University]

   RWTH Aachen University · FIR e. V. an der RWTH Aachen

   Affiliation as printed

   FIR - Institute for Industrial Management [RWTH Aachen University] (Forschungsinstitut für Rationalisierung Campus-Boulevard 55 52074 Aachen Germany - Germany)

   Institute for Industrial Management [RWTH Aachen University]