HAL TEI export of lirmm-00269658
CCSD
CC0 1.0 - Universal
HAL API Platform
Enterprise Model Verification : A Graph-Based Approach
Bernard
Kamsu-Foguem
3deba6211a4bc7f994beff2cf8fe5e38
enit.fr
960649
864666-960649
https://orcid.org/0000-0003-3617-3184
https://www.idref.fr/083277447
https://viaf.org/viaf/197887233
Vincent
Chapurlat
b0f4eb0fde17f5d0027712419de5a5ef
mines-ales.fr
vincent-chapurlat
13551
12583-13551
https://orcid.org/0000-0001-8513-9471
https://www.idref.fr/106944231
François
Prunet
172171-0
Christine
Carvalho De Matos
10103945d6df12b14430343989bb0f6f
lirmm.fr
2008-04-03 08:22:09
2026-04-05 03:18:08
2008-04-03 10:22:54
2003
contributor
Christine
Carvalho De Matos
10103945d6df12b14430343989bb0f6f
lirmm.fr
CCSD
lirmm-00269658
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00269658
kamsufoguem:lirmm-00269658
<i>CESA'03: IMACS Multiconference in Computational Engineering in Systems Applications</i>, 2003, Lille (France), France. pp.P nd
CESA'03: IMACS Multiconference in Computational Engineering in Systems Applications, 2003, Lille (France), France. pp.P nd
CNRS - Centre national de la recherche scientifique
Ecole des Mines d'Alès
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Mathématiques, Informatique, Physique et Systèmes
Université de Montpellier
composantes instituts telecom
Université de Montpellier (2015-2021)
IMT Mines Alès
Institut Mines Telecom
July 9-11
International
No
No
Yes
Yes
Enterprise Model Verification : A Graph-Based Approach
Bernard
Kamsu-Foguem
3deba6211a4bc7f994beff2cf8fe5e38
enit.fr
960649
864666-960649
https://orcid.org/0000-0003-3617-3184
https://www.idref.fr/083277447
https://viaf.org/viaf/197887233
Vincent
Chapurlat
b0f4eb0fde17f5d0027712419de5a5ef
mines-ales.fr
vincent-chapurlat
13551
12583-13551
https://orcid.org/0000-0001-8513-9471
https://www.idref.fr/106944231
François
Prunet
172171-0
9960
CESA'03: IMACS Multiconference in Computational Engineering in Systems Applications
2003
Lille (France)
France
P nd.
2003
English
Computer Science [cs]
Conference papers
Conference papers
Conference papers
139590827
0000000405990488
199111950H
https://ror.org/013yean28
Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
LIRMM
1995-01-01
2021-12-31
161 rue Ada - 34095 Montpellier
[https://www.lirmm.fr]
071473114
0000 0004 0372 9024
199420609G
Laboratoire de Génie Informatique et Ingénierie de Production
LGI2P
1994-01-01
2019-12-31
Ecole des Mines d'Alès-Laboratoire de Génie Informatique et d'Ingénierie de ProductionSite de Croupillac7 rue Jules RenardAlès - 30319 CedexFrance
[http://www.lgi2p.ema.fr/]
0000000120970141
https://ror.org/051escj72
Université de Montpellier
UM
2021-12-31
163 rue Auguste Broussonnet - 34090 Montpellier
[http://www.umontpellier.fr/]
02636817X
0000000122597504
https://ror.org/02feahw73
Centre National de la Recherche Scientifique
CNRS
1939-10-19
[https://www.cnrs.fr/]
032486111
0000 0000 9734 247X
https://ror.org/03e8rf594
IMT MINES ALÈS
1843-09-22
IMT - Mines Ales École des MinesSite de Clavières : 6 avenue de Clavières, 30319 Alès CedexSite de Croupillac : Rue Jules Renard, 30100 AlèsSite de Pau : Hélioparc (bâtiment Einstein 1), 2 avenue du Président-Pierre-Angot, 64053 Pau Cedex 9
[http://www.mines-ales.fr/]
192427156
000000012202567X
https://ror.org/025vp2923
Q27962533
Institut Mines-Télécom [Paris]
IMT
2012-03-01
19 Place Marguerite Perey, 91120 Palaiseau
[https://www.imt.fr/]