Test Generation from Recursive Tiles Systems

DOI10.1007/978-3-642-30473-6_9zbMath1354.68056OpenAlexW1784926803MaRDI QIDQ2900183

Christophe Morvan, Sébastien Chédor, Thierry Jéron

Publication date: 20 July 2012

Published in: Tests and Proofs (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-30473-6_9

Mathematics Subject Classification ID

Related Items (1)

Diagnosis and opacity problems for infinite state systems modeled by recursive tile systems

Uses Software

• TorX

This page was built for publication: Test Generation from Recursive Tiles Systems