PascalFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « PascalFr.i » - entrée « Méthode formelle »
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.
Méthode factorisation < Méthode formelle < Méthode formelle B  Facettes :

List of bibliographic references indexed by Méthode formelle

Number of relevant bibliographic references: 37.
[0-20] [0 - 20][0 - 37][20-36][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
003890 (2009) Dominique Cansell [France] ; Dominique Méry [France] ; Cyril Proch [France]System-on-chip design by proof-based refinement
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
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
004D39 (2007) Jean-Marc Mota [France] ; Catherine Dubois [France]Raffinement de modèles topologiques en B événementiel : Des droites aux 2-G-cartes
004D40 (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
004D44 (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
005294 (2006) Nizar Messai [France] ; Marie-Dominique Devignes [France] ; Amedeo Napoli [France] ; Malika Smaïl-Tabbone [France]Treillis de concepts et ontologies pour interroger l’annuaire de sources de données biologiques BioRegistry

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/PascalFr.i -k "Méthode formelle" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/PascalFr.i  \
                -Sk "Méthode formelle" \
         | 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=    PascalFr.i
   |clé=    Méthode formelle
}}
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