| Transformation opérationnelle < Transformation programme < Transition | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000578 (2004) | Francis Alexandre [France] ; Khaled Bsaïes [Tunisie] ; Moussa Demba [Tunisie] | Predicate synthesis from inductive proof attempt of faulty conjectures |
| 000655 (2003) | Carine Courbis [France] ; Pascal Degenne [France] ; Alexandre Fau [France] ; Didier Parigot [France] | L'apport des technologies XML et objets pour un générateur d'environnements: SmartTools |
| 000A32 (2000) | C. Castro [France] ; E. Monfroy [Pays-Bas] | A control language for designing constraint solvers |
| 000B04 (1999) | E. Meyer [France] ; J. Souquieres [France] | A systematic approach to transform OMT diagrams to a B specification |
| 000C94 (1996) | R. Curien [France] ; Z. Qian ; H. Shi | Efficient second-order matching |
List of associated Author.i
| Nombre de documents | Descripteur |
|---|---|
| 1 | Alexandre Fau |
| 1 | C. Castro |
| 1 | Carine Courbis |
| 1 | Didier Parigot |
| 1 | E. Meyer |
| 1 | E. Monfroy |
| 1 | Francis Alexandre |
| 1 | H. Shi |
| 1 | J. Souquieres |
| 1 | Khaled Bsaïes |
| 1 | Moussa Demba |
| 1 | Pascal Degenne |
| 1 | R. Curien |
| 1 | Z. Qian |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Transformation programme"
HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i \
-Sk "Transformation programme" \
| HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= PascalFrancis
|étape= Checkpoint
|type= indexItem
|index= FC03.fr.i
|clé= Transformation programme
}}
| This area was generated with Dilib version V0.6.33. |  |