Formalisation des scénarios de défaillance d'un BDMP par automate ni

National audience

Data and Resources

Additional Info

Field Value
Source Actes des Journées Doctorales du GDR MACS 2011
Author Chaux, Pierre-Yves, Roussel, Jean-Marc, Lesage, Jean-Jacques
Maintainer CCSD
Last Updated May 14, 2026, 19:48 (UTC)
Created May 14, 2026, 19:48 (UTC)
Identifier hal-00782759
Language fr
Rights https://about.hal.science/hal-authorisation-v1/
contributor Laboratoire Universitaire de Recherche en Production Automatisée (LURPA) ; École normale supérieure - Cachan (ENS Cachan)-Université Paris-Sud - Paris 11 (UP11)
coverage Marseille, France
creator Chaux, Pierre-Yves
date 2011-06-06T00:00:00
harvest_object_id 795d9fa1-19b6-45d1-a3ed-9ad94108b69f
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2022-10-18T00:00:00
set_spec type:COMM