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 « Spécification »
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.
Spécialiste information < Spécification < Spécification B  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 10.
Ident.Authors (with country if any)Title
000128 (2011) MOHAMED GHAITH KAABI [France] ; Arnaud Tonnelier [France] ; Dominique Martinez [France]On the Performance of Voltage Stepping for the Simulation of Adaptive, Nonlinear Integrate-and-Fire Neuronal Networks
000383 (2006) Dominique Cansell [France] ; Dominique Méry [France]Formal and incremental construction of distributed algorithms : On the distributed reference counting algorithm
000739 (2003) Radu State [France] ; Emmanuel Nataf [France] ; Olivier Festor [France]A SMIng based policy access control for SNMPv3
000762 (2002) Abdessamad Imine [Tunisie] ; Yahya Slimani [Tunisie] ; Sorin Stratulat [France]Using automated induction-based theorem provers for reasoning about concurrent systems
000972 (2000) H. Dubois [France] ; H. Kirchnei [France]Rule Based Programming with constraints and strategies
000995 (2000) G. Dowek [France] ; T. Hardin [France] ; C. Kirchner [France]Higher order unification via explicit substitutions
000A12 (2000) R. Mcdowell [États-Unis] ; D. Miller [États-Unis]Cut-elimination for a logic with definitions and induction
000D01 (1996) C. Hintermeier [France] ; H. Kirchner [France] ; P. D. Mosses [Danemark]Combining algebraic and set-theoretic specifications
000D28 (1995) J. N. Akazan [France] ; Z. MammeriOn tasks synchronization with the MMS protocol
000D51 (1993) P.-Y. Schobbens [France]Exceptions for algebraic specifications: on the meaning of but'

List of associated Author.i

Nombre de
documents		Descripteur
1Abdessamad Imine
1Arnaud Tonnelier
1C. Hintermeier
1C. Kirchner
1D. Miller
1Dominique Cansell
1Dominique Martinez
1Dominique Méry
1Emmanuel Nataf
1G. Dowek
1H. Dubois
1H. Kirchnei
1H. Kirchner
1J. N. Akazan
1MOHAMED GHAITH KAABI
1Olivier Festor
1P. D. Mosses
1P.-Y. Schobbens
1R. Mcdowell
1Radu State
1Sorin Stratulat
1T. Hardin
1Yahya Slimani
1Z. Mammeri

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 "Spécification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/FC03.fr.i  \
                -Sk "Spécification" \
         | 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é=    Spécification
}}
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