This paper explores the generation of conformance test cases for recursive tile systems
(RTSs) in the framework of the classical ioco testing theory. The RTS model allows the …

Dans ce travail nous présentons une ensemble de travaux sur les systèmes de transitions
infinis de présentation finie. Plus précisément, nous considérons les familles suivantes: les …

L'une des façons les plus efficace de s' assurer du bon fonctionnement d'un système
informatique est de les représenter par des modèles mathématiques. De nombreux travaux …