Keywords
Corpus
Crin
Racine
Corpus
Checkpoint
Crin
Racine
Crin
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Corpus (Crin)

Index « Keywords » - entrée « formal methods »
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 method < formal methods < formal methods and the project life-cycle  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 15.
Ident.Authors (with country if any)Title
001D77 (1997) Jean-Paul Gibson ; Dominique MéryTelephone Feature Verification : Translating SDL to TLA+
001E21 (1997) Dominique MéryFormal methods for parallel programming : theory and applications
002019 (1997) Emmanuel NatafComportement des relations de la gestion OSI
002073 (1998) Jean-Paul Gibson ; Yassine MokhtariPOTS : An OO LOTOS Specification
002419 (1998) Franck ChalauxConstruction et vérification de spécifications d'Interfaces Homme-Machine
002843 (1999) Fundamental Approaches to Software Engineering
002924 (2000) Raphaël CouturierUtilisation des méthodes formelles pour le développement de programmes parallèles
002944 (2000) J Ohn Paul Gibson ; Dominique MéryFair Objects
002957 (2000) Dominique Cansell ; Jacques Jaray ; Dominique MéryRapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B.
002D10 (2000) Songsakdi RongviriyapanishModélisation de la conception d'architectures de systèmes logiciels
003044 (2001) Dominique Cansell ; Dominique Méry ; Stephan MerzFormal Analysis of a Self-Stabilizing Algorithm - Using Predicate Diagrams
003567 (2002) Abdelghani Benharref ; Rachida Dssouli ; Zineb Berbich ; Isabelle ChrismentFormal Specifications, TTCN and executable test cases for main IPv6 protocols
003679 (2002) Olfa Mosbahi ; Leila Jemni ; Samir Ben Ahmed ; Jacques JarayA Specification and Validation Technique Based on STATEMATE and FNLOG
003B87 (2003) Abdelghani Benharref ; Zineb Berbich ; Mohamed Salah Bouassida ; Rachida Dssouli ; Isabelle ChrismentFormalisation et test d'IPv6
003D92 (2004) Stephan MerzTLA+ Case Study : A Resource Allocator

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i -k "formal methods" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/KwdEn.i  \
                -Sk "formal methods" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    KwdEn.i
   |clé=    formal methods
}}
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