Keywords
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

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 methodes  Facettes :

List of bibliographic references indexed by Formal method

Number of relevant bibliographic references: 43.
[0-20] [0 - 20][0 - 43][20-40]
Ident.Authors (with country if any)Title
001417 (2013) Hyacinthe J. Ramaroson [Madagascar, France] ; Florence Le Ber [France] ; Bertin O. Ramamonjisoa [Madagascar, France] ; Dominique Hervé [France]Treillis de Galois pour la fusion de connaissances spatiales sur des territoires villageois malgaches
001684 (2013) Zohra Sbaï [Tunisie] ; Kamel Barkaoui [France]Vérification formelle des processus workflow: Extension aux workflows inter-organisationnels
001705 (2013) Tobias Jung [Belgique] ; Sylvain Martin [Belgique] ; Mohamed Nassar [France] ; Damien Ernst [Belgique] ; Guy Leduc [Belgique]Outbound SPIT filter with optimal performance guarantees
002721 (2011) Mouhebeddine Berrima ; Narjes Ben Rajeb [Tunisie] ; Véronique Cortier [France]Deciding knowledge in security protocols under some e-voting theories
002813 (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
003157 (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
003160 (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
003166 (2010) Sihem Mallek [France] ; Nicolas Daclin [France] ; Vincent Chapurlat [France]Catégorisation et formalisation des exigences d'interopérabilité dans les processus collaboratifs
003172 (2010) Joris Rehm [France]Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
003180 (2010) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Compiling and securing cryptographic protocols
003183 (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
003576 (2009-06) Dominique Méry [France]A Simple Refinement-based Method for Constructing Algorithms
003890 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
003910 (2009) Joris Rehm [France]Proved development of the real-time properties of the IEEE 1394 Root Contention Protocol with the event-B method
004132 (2008-01) Samuel Colin [France] ; Arnaud Lanoix [France]An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem
004266 (2008) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France]Développement formel par composants
004443 (2008) BOULBABA BEN AMMAR [France, Tunisie] ; MOHAMED TAHAR BHIRI [Tunisie] ; Jeanine Souquieres [France]Modélisation événementielle pour la construction de diagrammes de classes
004A60 (2007) Dominique Cansell [France] ; Dominique Méry [France]Incremental Parametric Development of Greedy Algorithms
004B09 (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
004B37 (2007) Vincent Thomas [France] ; Christine Bourjot [France] ; Vincent Chevrier [France]Construction de systèmes multi-agents par apprentissage collectif à base d’interactions
004D38 (2007) Approches formelles pour le développement de logiciels : AFADL 2006

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i -k "Formal method" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdEn.i  \
                -Sk "Formal method" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |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