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

Serveur d'exploration sur les relations entre la France et l'Australie - Checkpoint (PascalFrancis)

Index « FC03.fr.i » - entrée « Méthode formelle »
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.
Méthode fondant < Méthode formelle < Méthode galvanostatique  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 3.
Ident.Authors (with country if any)Title
003B09 (2006) Christophe Bidan [France] ; Guillaume Hiet [France] ; Ludovic Me [France] ; Benjamin Morin [France] ; Jacob Zimmermann [Australie]Vers une détection d'intrusions à fiabilité et pertinence prouvables : Risques et sécurité des réseaux et des systèmes à composante logicielle
004527 (2005) W. M. P. Van Der Aalst [Pays-Bas, Australie] ; M. Dumas [Australie] ; A. H. M. Ter Hofstede [Australie] ; N. Russell [Australie] ; H. M. W. Verbeek [Pays-Bas] ; P. Wohed [France]Life after BPEL?
004788 (2005) Yannick Pencole [Australie] ; Marie-Odile Cordier [France]A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks

List of associated Author.i

Nombre de
documents		Descripteur
1A. H. M. Ter Hofstede
1Benjamin Morin
1Christophe Bidan
1Guillaume Hiet
1H. M. W. Verbeek
1Jacob Zimmermann
1Ludovic Me
1M. Dumas
1Marie-Odile Cordier
1N. Russell
1P. Wohed
1W. M. P. Van Der Aalst
1Yannick Pencole

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Asie/explor/AustralieFrV1/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i -k "Méthode formelle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Méthode formelle" \
         | 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/Asie
   |area=    AustralieFrV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Méthode formelle
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Tue Dec 5 10:43:12 2017. Site generation: Tue Mar 5 14:07:20 2024