test_moissonnage_selune
type: Agent

Diagnostic of discrete event systems using timed automata in MATLAB SIMULINK
type: Distribution
access URL: https://hal.science/hal-00676772
format: HTML
issued: 2026-05-25T16:09:31.980239
modified: 2026-05-25T16:09:31.804479

Diagnostic of discrete event systems using timed automata in MATLAB SIMULINK
type: Dataset
contact point: Organization
  fn: CCSD
keyword: backward-time-analysis
keyword: infoeu-reposemanticsconferenceobject
keyword: diagnosis
keyword: conference-papers
keyword: timed-automata
keyword: model-checking
keyword: diagnosability
keyword: discrete-event-systems-des
keyword: spiautoengineering-sciences-physicsautomatic
keyword: fault-location
landing page: Advances in Safety, Reliability and Risk Management - ESREL 2011
description: International audience
issued: 2026-05-25T16:09:31.861863
language: en
modified: 2026-05-25T16:09:31.861880