Génération de test fonctionnel de circuits digitaux décrits avec un langage déclaratif : Lustre

Description

.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00337894
2. http://tel.archives-ouvertes.fr/docs/00/33/78/94/PDF/Al-Mahrous.Mazen_1990_these.pdf

Tags

test fonctionnel

langages de description de matériel

langage déclaratif

testabilité:écoulement

test par identification d'automates

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00337894
Date	02 July 1990
Creators	Al Mahrous, Mazen
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis