LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Research » Publications
Books
Edited books
Journal articles
Book chapters
Conference papers
Other publications
Habilitations
Thesis

Le model-checking, une technique de vérification en plein essor. II -- Quelques outils

Type : Report

Year : 1998

Type : Contract Report

Publisher : EDF/DER/MOS - LSV

Date : "oct"

Authors : Bérard, Béatrice Cécé, Gérard Dufourd, Catherine Finkel, Alain Laroussinie, François Petit, Antoine Schnoebelen, Philippe Sutre, Grégoire

 Mentions légales
Site map |