Test de modèles formels en B cadre théorique et critères de couverture /

Description

Reproduction de : Thèse de doctorat : Informatique et télécommunications : Toulouse, INPT : 2000. / Titre provenant de l'écran-titre. Bibliogr. 90 réf.

Links & Downloads

1. http://ethesis.inp-toulouse.fr/archive/00000008

Tags

Méthode B (informatique) Logiciels

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/492169434
Date	January 2004
Creators	Behnia, Salimeh. Thévenod-Fosse, Pascale.
Publisher	Toulouse : INP Toulouse,
Source Sets	OCLC
Language	French
Detected Language	French