s'authentifier
version française rss feed

inria-00073337, version 1

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

Hubert Garavel () 1

N° RR-3352 (1998)

  • Domaine : Informatique/Autre
  • Mots-clés : FORMAL METHODS / MODEL-CHECKING / ON-THE-FLY VERIFICATION / REACHABILITY ANALYSIS / SIMULATION / SOFTWARE / SOFTWARE ENGINEERING / TEST GENERATION / TESTING /TRANSITION SYSTEMS / VALIDATION / VERIFICATION
  • Référence interne : RR-3352
 
  • inria-00073337, version 1
  • oai:hal.inria.fr:inria-00073337
  • Contributeur : 
  • Soumis le : Mercredi 24 Mai 2006, 12:34:33
  • Dernière modification le : Mercredi 31 Mai 2006, 14:24:27
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...