Fabien Peureux - Veröffentlichungen allgemein

(1 - 3 von 5

)

A Comparison of the BTT and TTF Test-Generation Methods | SpringerLink

link.springer.com

Bruno Legeard · -fcomte.fr (8); Fabien Peureux · -fcomte.fr (8); Mark Utting · .ac.nz (9). Author Affiliations.

CLPS-B—A Constraint Solver for B | SpringerLink

link.springer.com

This paper proposes an approach to the evaluation of B formal specifications using Constraint Logic Programming with sets. This approach is used to animate and...

theses.fr – Fabien Peureux

www.theses.fr

Fabien Peureux

Verwandte Suchanfragen zu Fabien Peureux

Eric Torreborre
Bruno Legeard
Ahmed Hammad

Personen
Vorname "Fabien" (1156)
Name "Peureux" (10)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Veröffentlichungen allgemein Fabien Peureux

A Comparison of the BTT and TTF Test-Generation Methods | SpringerLink

CLPS-B—A Constraint Solver for B | SpringerLink

theses.fr – Fabien Peureux