OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing

Hubert Garavel 1
1 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Type de document :
Rapport
RR-3352, INRIA. 1998


https://hal.inria.fr/inria-00073337
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 12:34:33
Dernière modification le : samedi 17 septembre 2016 - 01:38:18
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:06:45

Fichiers

Identifiants

  • HAL Id : inria-00073337, version 1

Collections

Citation

Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing. RR-3352, INRIA. 1998. <inria-00073337>

Exporter

Partager

Métriques

Consultations de
la notice

187

Téléchargements du document

282