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 « J. Akazan »
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.
J. A. Goguen < J. Akazan < J. André  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
002B91 (1995) J. Akazan ; Z. MammeriOn Tasks Synchronization with the MMS Protocol
002B97 (1995) J. Akazan ; Z. MammeriMMS and Time
002C21 (1995) J. Akazan ; Z. MammeriDEMMS : A Development Environment to Ease the Manufacturing Message Specification (MMS) Use
002D60 (1995) Z. Mammeri ; J. AkazanAn Environment to Ease the Use of MMS
002D95 (1995) J. Akazan ; Z. MammeriReal-Time Extensions to MMS
002D97 (1995) Z. Mammeri ; J. AkazanAn Approach to Make MMS Real-Time
002E17 (1994) J. Akazan ; Z. Mammeri ; Jean-Pierre Thomesse [France]Analyse organique détaillée de MMS-TOOLKIT
002E35 (1994) J. Akazan ; Z. Mammeri ; Jean-Pierre Thomesse [France]Spécification fonctionnelle détaillée des services de MMS-TOOLKIT
003007 (1994) J. Akazan ; Z. MammeriOn Tasks Synchronization with the MMS Protocol
003468 (1993) J. Akazan ; Z. Mammeri ; Jean-Pierre Thomesse [France]MMS-Toolkit -- Analyse fonctionelle détaillée

List of associated KwdEn.i

Nombre de
documents		Descripteur
8MMS
3event
3real-time
2MMS object extension
2MMS service extension
2VMD
2client-server model
2development environment
2semaphore
1. application specification
1MMS object
1MMS protocol extension
1MMS service generation
1Nutt's Network
1VDM
1application specification
1client-serveur model
1exception handling
1functional model
1real -time
1real-time extension
1real-time system
1semaphore task synchronisation
1task synchronization
1temporal requirement
1timing constraint

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 "J. Akazan" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/Author.i  \
                -Sk "J. Akazan" \
         | 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é=    J. Akazan
}}
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