Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
Chédor, Sébastien, Morvan, Christophe, Pinchinat, Sophie, Marchand, HervéVolume:
25
Language:
english
Journal:
Discrete Event Dynamic Systems
DOI:
10.1007/s10626-014-0197-3
Date:
June, 2015
File:
PDF, 1.22 MB
english, 2015