 |
Conference papers
Specification and verification of the korso production cell
Dominique l'Her
1
Jean-Luc Scharbarg
1, 2
Philippe Le Parc
1, 3
Jean Vareille
1, 3
Lionel Marcé
1
2
IRIT-RMESS - Réseaux, Mobiles, Embarqués, Sans fil, Satellites
IRIT - Institut de recherche en informatique de Toulouse
3
Lab-STICC_UBO_CID_IRIS
IBNM - Institut Brestois du Numérique et des Mathématiques, Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Dominique l'Her 1
Author
Jean-Luc Scharbarg 1, 2
Author
Philippe Le Parc 1, 3
Author IdHAL : philippe-le-parc
Jean Vareille 1, 3
Author IdHAL : jean-vareille
Lionel Marcé 1
Author
1
LIMI - Laboratoire Langages et Interfaces pour Machines Intelligentes (20 av. Victor Le Gorgeu - 29200 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
2
IRIT-RMESS - Réseaux, Mobiles, Embarqués, Sans fil, Satellites (Institut de recherche en informatique de Toulouse - IRIT
2 rue Charles Camichel
31071 Toulouse Cedex 7 - France)
- IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
3
Lab-STICC_UBO_CID_IRIS (Université de Bretagne Occidentale, 20 avenue Le Gorgeu, CS 93837, 29238 Brest Cedex 3 - France)
- IBNM - Institut Brestois du Numérique et des Mathématiques (Université de Brest - UBO
3 Rue des Archives, 29238 Brest - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Technopole Brest Iroise CS 83818 29238 BREST cedex 3 - France)
- ENIB - École Nationale d'Ingénieurs de Brest (945 avenue du Technopole - 29280 Plouzané - France)
- UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France)
- UBO - Université de Brest (Université de Bretagne Occidentale - 3 Rue des Archives 29238, Brest - France)
- ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne (2 rue François Verny, 29806 Brest cedex 9 - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6285 (France)
- UBL - Université Bretagne Loire (Cité Internationale, 1 place Paul Ricoeur - CS 54417 35044 RENNES CEDEX - France)
- IMT Atlantique - IMT Atlantique Bretagne-Pays de la Loire (Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -
Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -
Campus Rennes : 2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
Document type :
Conference papers
Domain :
Complete list of metadatas
https://hal.univ-brest.fr/hal-01694244
Contributor : Jean Vareille <>
Submitted on : Friday, January 26, 2018 - 10:45:55 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:45 PM
Contributor : Jean Vareille <>
Submitted on : Friday, January 26, 2018 - 10:45:55 PM
Last modification on : Wednesday, June 24, 2020 - 4:19:45 PM
Identifiers
- HAL Id : hal-01694244, version 1
Collections
UNIV-BREST | CNRS | INSTITUT-TELECOM | ENIB | LAB-STICC | SMS | UNIV-TLSE2 | LAB-STICC_UBO | IBNM | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-RMESS
Citation
Dominique l'Her, Jean-Luc Scharbarg, Philippe Le Parc, Jean Vareille, Lionel Marcé. Specification and verification of the korso production cell. INCOM'1998, Jun 1998, Nancy, France. ⟨hal-01694244⟩
Metrics
Record views