Serveur d'exploration sur l'Université de Trèves - 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 fingerprint < Méthode formelle < Méthode gradient  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 4.
Ident.Authors (with country if any)Title
000796 (2005) Andrea Fressmann [Allemagne] ; Rainer Maximini [Allemagne] ; Thomas Sauer [Allemagne]Towards collaborative agent-based knowledge support for time-critical and business-critical processes
000829 (2005) Marita Muscholl [Allemagne]Integrated clinical pathways in health information systems : An architectural Concept
000863 (2005) Alexander Tartakovski [Allemagne] ; Martin Schaaf [Allemagne] ; Rainer Maximini [Allemagne]Applying generalized cases to retrieval and configuration of life insurance policies
001200 (1996) Christoph Meinel [Allemagne] ; T. Theobald [Allemagne]Local encoding transformations for optimizing OBDD-representations of finite state machines

List of associated Author.i

Nombre de
documents
Descripteur
2Rainer Maximini
1Alexander Tartakovski
1Andrea Fressmann
1Christoph Meinel
1Marita Muscholl
1Martin Schaaf
1T. Theobald
1Thomas Sauer

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Rhénanie/explor/UnivTrevesV1/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/Rhénanie
   |area=    UnivTrevesV1
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    FC03.fr.i
   |clé=    Méthode formelle
}}

Wicri

This area was generated with Dilib version V0.6.31.
Data generation: Sat Jul 22 16:29:01 2017. Site generation: Wed Feb 28 14:55:37 2024