Keywords
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

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

Index « Keywords » - entrée « Formal method »
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.
Formal logic < Formal method < Formal power series  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 36.
[0-20] [0 - 20][0 - 36][20-35][20-40]
Ident.Authors (with country if any)Title
000026 (2013) Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France]Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
000028 (2013) Hyacinthe J. Ramaroson [Madagascar, France] ; Florence Le Ber [France] ; Bertin O. Ramamonjisoa [Madagascar] ; Dominique Herve [France]Treillis de Galois pour la fusion de connaissances spatiales sur des territoires villageois malgaches
000051 (2013) Tobias Jung [Belgique] ; Sylvain Martin [Belgique] ; Mohamed Nassar [France] ; Damien Ernst [Belgique] ; Guy Leduc [Belgique]Outbound SPIT filter with optimal performance guarantees
000135 (2011) Mouhebeddine Berrima [Tunisie] ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]DECIDING KNOWLEDGE IN SECURITY PROTOCOLS UNDER SOME E-VOTING THEORIES
000136 (2011) Olfa Mosbahi [Allemagne] ; Mohamed Khalgui [Allemagne]Combining formal methods for the development of reactive systems : DEVELOPMENT OF EMBEDDED SYSTEMS: MODELLING, VERIFICATION, SCHEDULING, IMPLEMENTATION AND RECONFIGURATION
000151 (2010) Pierre Konopacki [France, Canada] ; Marc Frappier [Canada] ; Régine Laleau [France]Modélisation de politiques de sécurité à l'aide d'une algèbre de processus: Présentation de la méthode EB3SEC
000154 (2010) Akram Idani [France] ; Mohamed-Amine Labiadh [France] ; Yves Ledru [France]Infrastructure dirigee par les modèles pour une intégration adaptable et évolutive de UML et B
000164 (2010) Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France]Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs
000171 (2010) Joris Rehm [France]Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
000179 (2010) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Compiling and securing cryptographic protocols
000182 (2010) Marie-Dominique Devignes [France] ; Philippe Franiatte [France] ; Nizar Messai [France] ; Emmanuel Bresso [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France]BioRegistry: Automatic extraction of metadata for biological database retrieval and discovery
000226 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
000260 (2008) BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]Modélisation événementielle pour la construction de diagrammes de classes
000263 (2008) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquieres [France]Développement formel par composants : Assemblage et vérification à l'aide de B
000286 (2007) Approches formelles pour le développement de logiciels : AFADL 2006
000287 (2007) Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique]Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence
000288 (2007) Jean-Marc Mota [France] ; Catherine Dubois [France]Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
000289 (2007) Didier Bert [France] ; Héctor Ruiz Barradas [France, Mexique]Propriétés de vivacité dans les systèmes B : Application à l'algorithme de Ricart-Agrawala
000293 (2007) Vincent Thomas [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Construction de systèmes multi-agents par apprentissage collectif à base d'interactions
000294 (2007) Akram Idani [France] ; Yves Ledru [France] ; Didier Bert [France]Approche formelle pour la dérivation de vues structurelles UML à partir de développements B : Formalisation, preuve et extension pour la prise en compte des raffinements B
000308 (2006) Approches formelles dans l'assistance au développement de logiciels

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/KwdEn.i -k "Formal method" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/KwdEn.i  \
                -Sk "Formal method" \
         | 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=    KwdEn.i
   |clé=    Formal method
}}
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