FC03.fr.i
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Raisonnement basé sur modèle »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Raisonnement basé sur cas < Raisonnement basé sur modèle < Raisonnement par cas  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 6.
Ident.Authors (with country if any)Title
000442 (2005) Moritz Hammer [Allemagne] ; Alexander Knapp [Allemagne] ; Stephan Merz [France]Truly on-the-fly LTL model checking
000479 (2005) Remi Badonnel [France] ; Radu State [France] ; Olivier Festor [France]Monitoring end-to-end connectivity in mobile ad-hoc networks
000521 (2005) HUAIZHONG KOU [France] ; Amedeo Napoli [France] ; Yannick Toussaint [France]Application of text categorization to astronomy field
000545 (2004) Anas Abou El Kalam [France] ; Yves Deswarte [France]Modèle de sécurité pour le secteur de la santé
000640 (2004) Claude Chaudet [France] ; Olivier Festor [France] ; Isabelle Guerin Lassous [France] ; Radu State [France]A managed bandwidth reservation protocol for ad hoc networks
000688 (2003) Jean-Luc Metzger [France] ; Florence Le Ber [France] ; Amedeo Napoli [France]Modeling and representing structures for analyzing spatial organization in agronomy

List of associated Author.i

Nombre de
documents		Descripteur
2Amedeo Napoli
2Olivier Festor
2Radu State
1Alexander Knapp
1Anas Abou El Kalam
1Claude Chaudet
1Florence Le Ber
1HUAIZHONG KOU
1Isabelle Guerin Lassous
1Jean-Luc Metzger
1Moritz Hammer
1Remi Badonnel
1Stephan Merz
1Yannick Toussaint
1Yves Deswarte

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 "Raisonnement basé sur modèle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Raisonnement basé sur modèle" \
         | 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é=    Raisonnement basé sur modèle
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022