Auteurs
Checkpoint
Crin
Racine
Checkpoint
Crin
Exploration
Accueil
Racine
Racine

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

Index « Auteurs » - entrée « Luis Vega »
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.
Luis Pinho Flippe Pachero < Luis Vega < Luis Véga  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 7.
Ident.Authors (with country if any)Title
000E94 (2002) Luis Vega ; Jean-Pierre Thomesse [France]Diatélic, télésurveillance de dialysés à domicile
002502 (1997) Joël Toussaint ; Luis VegaModèles pour l'Expression et la Vérification de Propriétés Temporelles dans la Communication
002609 (1997) Luis Vega ; Jean-Pierre Thomesse [France]Vers une Caractérisation Temporelle de Profils de Communication
002766 (1997) Jean-Pierre Thomesse [France] ; Luis VegaFrench Contribution to IEC TC 17B DeviceWorldFIP
002893 (1996) Joël Toussaint ; Luis Vega ; Françoise Simonot-LionFormal verification of Time constrained communications
002978 (1996) Luis Vega ; Jean-Pierre Thomesse [France]Modélisation des contraintes temporelles dans la communication Temps Réel
003469 (1993) Y. Benkhellat ; A. Bouzelat ; C. Cardeira ; Pascal Lorenz ; Y. Q. Song ; Jean-Pierre Thomesse [France] ; Luis VegaLa Communication Industrielle

List of associated KwdEn.i

Nombre de
documents		Descripteur
2FIP
2communication
2specification
1Cooperation model
1Distributed application
1Formal validation
1MAP
1Temporal properties
1Time Petri nets
1WorldFIP
1communication in plants and factories
1communication service
1dialysis
1diatelic
1expert system
1industrial local area network
1profibus
1real-time
1telemedicine
1time Petri net
1time constraint
1time constraints
1timing constraints
1validation

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i -k "Luis Vega" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "Luis Vega" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Luis Vega
}}
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