KwdFr.i
Exploration
Accueil
Racine
Exploration
Accueil
Racine

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

Index « KwdFr.i » - entrée « vérification »
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.
véhicules < vérification < vérification automatique  Facettes :

List of bibliographic references indexed by vérification

Number of relevant bibliographic references: 31.
[0-20] [0 - 20][0 - 31][20-30][20-40]
Ident.Authors (with country if any)Title
002071 (2011-10-07) Tony Bourdier [France]Algebraic methods for designing and analyzing security policies
002122 (2011-09-15) Roméo Courbis [France]Contributions à l'analyse de systèmes par approximation d'ensembles réguliers
003329 (2009-11-13) Pierre-Cyrille Heam [France]Finite Automata for Software Realiability and Reachability Analyses
003716 (2009-01-26) Atif Mashkoor [France] ; Jean-Pierre Jacquot [France] ; Jeanine Souquières [France]B événementiel pour la modélisation du domaine: application au transport
004000 (2008-05-27) Boulbaba Ben Ammar [France] ; Mohamed Tahar Bhiri [Tunisie] ; Jeanine Souquières [France]Schéma de refactoring de diagrammes de classes basé sur la notion de délégation
004029 (2008-04-24) Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France]Validation technique des sous-systèmes
004119 (2008-01-22) Daniele Zucchelli [France]Combination Methods for Verification Problems
004266 (2008) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France]Développement formel par composants
004746 (2007-09-01) Jeanine Souquières [France]Approches formelles pour le développement de logiciels
004875 (2007-06-13) Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France]Schémas de développement d'adaptateurs à l'aide de B
004A06 (2007-01-29) Alain Giorgetti [France] ; Julien Groslambert [France]Un programme annoté en vaut deux
005223 (2006-01-01) Jacques Julliand [France] ; Jeanine Souquières [France]Approches formelles pour le développement de logiciels
005641 (2006) Najah Chridi [France] ; Laurent Vigneron [France]Sécurité des communications de groupe
005A55 (2005-04-04) Françoise Simonot-Lion [France]Langages de description des architectures embarquées dans l'automobile
006390 (2005) Françoise Simonot-Lion [France] ; Ye-Qiong Song [France] ; Bernard Berthomieu [France] ; François Vernadat [France]Vérification des applications temps réel
006E74 (2004) Stephan Merz [France]TLA+ Case Study: A Resource Allocator
006E80 (2004) Yannick Chevalier [France] ; Laurent Vigneron [France]Strategy for Verifying Security Protocols with Unbounded Message Size
006E99 (2004) Nicolas Biri [France] ; Didier Galmiche [France]Resource Tree and Logics for Distribution - abstract
007083 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]An approach for the verification of UML models using B
007D78 (2003) Stephan Merz [France]On the Logic of TLA+
008003 (2002-07) Alessandro Armando ; David Basin ; Mehdi Bouallagui [France] ; Yannick Chevalier [France] ; Luca Compagna ; Sebastian Moedersheim ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano ; Laurent Vigneron [France]The AVISS Security Protocol Analysis Tool

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/KwdFr.i -k "vérification" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/KwdFr.i  \
                -Sk "vérification" \
         | 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=    KwdFr.i
   |clé=    vérification
}}
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