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 « 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

Number of relevant bibliographic references: 37.
[0-20] [0 - 20][0 - 37][20-36][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

List of associated Author.i

Nombre de
documents		Descripteur
4Jeanine Souquieres
3Amedeo Napoli
3Dominique Cansell
3Malika Smaïl-Tabbone
3Marie-Dominique Devignes
3Michaël Rusinowitch
3Nizar Messai
2Akram Idani
2Didier Bert
2Véronique Cortier
2Yannick Chevalier
2Yves Ledru
1Abdessamad Imine
1Arnaud Lanoix
1BOULBABA BEN AMMAR
1Bertin O. Ramamonjisoa
1Bill Stoddart
1Catherine Dubois
1Christine Bourjot
1Christophe Ringeissen
1Claude Kirchner
1Cyril Proch
1Damien Ernst
1David Deharbe
1David Pointcheval
1Dieu Donné Okalas Ossami
1Dominique Herve
1Dominique Méry
1Emilie Balland
1Emmanuel Bresso
1Florence Le Ber
1Frank Zeyda
1Frédéric Alexandre
1Germain Saval
1Guy Leduc
1Gérald Oster
1Hyacinthe J. Ramaroson
1Héctor Ruiz Barradas
1Hélène Kirchner
1Jean-Charles Lamirel
1Jean-Marc Mota
1Jean-Pierre Jacquot
1Joris Rehm
1Kamel Barkaoui
1Laurent Bougrain
1Liliana Ibanescu
1MOHAMED TAHAR BHIRI
1Marc Frappier
1Mathieu Turuani
1Mohamed Khalgui
1Mohamed Nassar
1Mohamed-Amine Labiadh
1Mohammed Attik
1Mouhebeddine Berrima
1NINH THUAN TRUONG
1Narjes Ben Rajeb
1Nicolas Daclin
1O. Kone
1Oana Andrei
1Olfa Mosbahi
1Olivier Chevassut
1Pascal Fontaine
1Pascal Molli
1Patrick Heymans
1Philippe Franiatte
1Pierre Konopacki
1Pierre-Alain Fouque
1Pierre-Etienne Moreau
1Pierre-Yves Schobbens
1Pierrick Gaudry
1R. Castanet
1Ralf Küsters
1Régine Laleau
1Samuel Colin
1Shadi Al Shehabi
1Sihem Mallek
1Silvio Ranise
1Stefan Hallerstede
1Sylvain Martin
1Tobias Jung
1Vincent Chapurlat
1Vincent Chevrier
1Vincent Thomas
1Yann Zimmermann
1Yves Bontemps
1Zohra Sbaï

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 "Méthode formelle" 

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