Using context descriptions and property definition patterns for software formal verification - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année : 2008

Using context descriptions and property definition patterns for software formal verification

Domaines

Intelligence artificielle [cs.AI]

Dtn Ensieta  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00517276

Soumis le : mardi 14 septembre 2010-09:17:29

Dernière modification le : lundi 14 mars 2022-11:08:06

Fichier non déposé

Dates et versions

hal-00517276 , version 1 (14-09-2010)

Identifiants

  • HAL Id : hal-00517276 , version 1

Citer

Philippe Dhaussy, Frédéric Boniol, Stephane de Belloy, Julien Auvray, Eric Landel. Using context descriptions and property definition patterns for software formal verification. ICSTW'08, IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, France. ⟨hal-00517276⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSTA-BRETAGNE ENSTA-BRETAGNE-STIC
56 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More