Auteurs
Curation
Hal
Racine
Curation
Checkpoint
Hal
Racine
Hal
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Curation (Hal)

Index « Auteurs » - entrée « Ninh Thuan Truong »
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.
Ning Zhou < Ninh Thuan Truong < Nir Ben Tal  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 14.
Ident.Authors (with country if any)Title
000D66 (2003) Ninh Thuan Truong [France] ; Jeanine Souquières [France]An approach for the verification of UML models using B
000D67 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]An approach for the verification of UML models using B
001283 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Boo - A formal approach to specification and verification of object-oriented system
001461 (2006) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Checking Consistency of UML state and sequence diagrams using B
001853 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Consistency checking of UML static diagrams using B
004A64 (2005) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Test of object-based specifications using B notations
005228 (2006) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation of UML scenarios using the B Prover
005229 (2005) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation of UML static diagrams using B
005263 (2006) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Verification of UML Model Elements Using B
006329 (2005) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Prise en compte des propriétés objets de réciprocité en B
006789 (2005) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Un outil support pour prendre en compte des propriétés objets de réciprocité en B
006894 (2006-05-05) Ninh Thuan Truong [France]Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet
006917 (2003) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
006918 (2004) Ninh Thuan Truong [France] ; Jeanine Souquières [France]Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i -k "Ninh Thuan Truong" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Hal/Curation/Author.i  \
                -Sk "Ninh Thuan Truong" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    indexItem
   |index=    Author.i
   |clé=    Ninh Thuan Truong
}}
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