Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel

Yves Ledru; Marc Pantel

Home
Submit
Browse all HAL
Inria publications
Search
Services
Help
OpenAccess
- Inria supporting open science

Books

Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel

Yves Ledru ¹ Marc Pantel ^{2, 3}

1 VASCO - Validation de Systèmes, Composants et Objets logiciels

LIG - Laboratoire d'Informatique de Grenoble

2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées

IRIT - Institut de recherche en informatique de Toulouse

3 Toulouse INP - Institut National Polytechnique (Toulouse)

Yves Ledru ¹
Author
PersonId : 178520
IdHAL : yves-ledruORCID : 0000-0002-0632-030XIdRef : 058586571

Marc Pantel ^{2, 3}
Author
PersonId : 8182
Employer institution: Institut National Polytechnique (Toulouse)IdHAL : marc-pantelIdRef : 078866618

1 VASCO - Validation de Systèmes, Composants et Objets logiciels (Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France - France) StructId : 49644

LIG - Laboratoire d'Informatique de Grenoble (UMR 5217 - Laboratoire LIG - Bâtiment IMAG - 700 avenue Centrale - Domaine Universitaire de Saint-Martin-d’Hères Adresse postale : CS 40700 - 38058 Grenoble cedex 9 - France Tél. : 04 57 42 14 00 - France) StructId : 24471
- UPMF - Université Pierre Mendès France - Grenoble 2 (BP 47 - 38040 Grenoble Cedex 9 - France) StructId : 3886
- UJF - Université Joseph Fourier - Grenoble 1 (BP 53 - 38041 Grenoble Cedex 9 - France) StructId : 51016
- Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 89889
- INPG - Institut National Polytechnique de Grenoble (46 avenue Félix Viallet 38031 Grenoble Cedex 1 - France) StructId : 300275
- CNRS - Centre National de la Recherche Scientifique : UMR5217 (France) StructId : 441569

2 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT 118 Route de Narbonne 31062 Toulouse Cedex 9 - France) StructId : 394992

IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France) StructId : 34499
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France) StructId : 81148
  - Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France) StructId : 116256
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France) StructId : 217752
  - Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France) StructId : 441569
- Toulouse INP - Institut National Polytechnique (Toulouse) (France) StructId : 448187
  - Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875

3 Toulouse INP - Institut National Polytechnique (Toulouse) (France) StructId : 448187

Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875

Résumé : no abstract

Document type :

Books

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Complete list of metadata

https://hal.inria.fr/hal-00953597
Contributor : Catherine Oriat Connect in order to contact the contributor
Submitted on : Friday, February 28, 2014 - 1:54:41 PM
Last modification on : Wednesday, July 6, 2022 - 4:17:22 AM

Identifiers

HAL Id : hal-00953597, version 1

Collections

Citation

Yves Ledru, Marc Pantel. Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. Ledru; Yves and Pantel; Marc. IRIT Press, 2009, 978-2-917490-04-4. ⟨hal-00953597⟩

Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel

Identifiers

Collections

Citation

Export

Metrics

184

Contact Legal Notice Personal Data

Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel

Identifiers

Collections

Citation

Export

Share

Metrics

184

Contact Legal Notice Personal Data