Skip to Main content Skip to Navigation
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
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
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 : Thursday, March 26, 2020 - 7:24:46 PM

Identifiers

  • HAL Id : hal-01694244, version 1

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⟩

Share

Metrics

Record views

287