Hubert Garavel und Grenoble - Info zur Person

(1 - 6 von 9

)

Hubert Garavel - Home Page

convecs.inria.fr

Address: INRIA Grenoble Rhône-Alpes 655, avenue de l'Europe F Montbonnot Saint-Martin FRANCE. . Phone: +(33) Email‎: ‎

Dependable Systems and Software: TACAS 2006

depend.cs.uni-saarland.de

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS . TACAS programme . Part of ETAPS Hubert Garavel (INRIA Rhones-Alpes, Grenoble ...

theses.fr – Hubert Garavel , Compilation et vérification de...

www.theses.fr

Compilation et vérification de programmes LOTOS. par Hubert Garavel. Thèse de doctorat en Informatique. Sous la direction de Jacques Voiron. Soutenue en à Grenoble 1 . Description en français; Description en anglais ...

Schloss Dagstuhl : Participant List

www.dagstuhl.de

Hubert Garavel (INRIA – Grenoble, FR) Alain Griffault (University of Bordeaux, FR) John R. Harrison (Intel – Hillsboro, US) Holger Hermanns (Universität des Saarlandes, DE) Hardi Hungar (Universität Oldenburg, DE) Warren A. Hunt (University of Texas – Austin, US) Dieter Hutter (DFKI – …

Susanne Graf

Personen
Vorname "Hubert" (15402)
Name "Garavel" (1)

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

Hubert Garavel und Grenoble Person-Info

Hubert Garavel - Home Page

Dependable Systems and Software: TACAS 2006

theses.fr – Hubert Garavel , Compilation et vérification de...

Schloss Dagstuhl : Participant List

A Large Term Rewrite System Modelling a Pioneering ...hal.univ-grenoble-alpes.fr › ...

TACAS 2001

Alle Infos zum Namen "Hubert Garavel"