Sébastien Chédor

From MaRDI portal
Person:2348370



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems
Discrete Event Dynamic Systems
2015-06-12Paper
Test generation from recursive tiles systems
Tests and Proofs
2012-07-20Paper


Research outcomes over time


This page was built for person: Sébastien Chédor