Ning Zhou < Ninh Thuan Truong < Ninh-Thuan Truong

Facettes : Author.f AffPays.f

List of bibliographic references

Number of relevant bibliographic references: 25.
[0-20] [0 - 20][0 - 25][20-24][20-40]

Ident.	Authors (with country if any)	Title
005300 (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
005922 (2006)	Ninh Thuan Truong [France] ; Jeanine Souquières [France]	Verification of UML Model Elements Using B
005923 (2006)	Ninh Thuan Truong [France] ; Jeanine Souquières [France]	Validation of UML scenarios using the B Prover
005A34 (2006)	Ninh Thuan Truong [France] ; Jeanine Souquières [France]	Checking Consistency of UML state and sequence diagrams using B
005D92 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Un outil support pour prendre en compte des propriétés objets de réciprocité en B
005D94 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Prise en compte des propriétés objets de réciprocité en B
006142 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Test of object-based specifications using B notations
006216 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Verification of behavioral elements of UML models using B
006217 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Validation of UML static diagrams using B
006268 (2005)	Ninh Thuan Truong ; Jeanine Souquières	Verification of UML model elements using B
006684 (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
006698 (2005)	Ninh Thuan Truong [France] ; Jeanine Souquières [France]	Prise en compte des propriétés objets de réciprocité en B
006750 (2005)	Ninh Thuan Truong [France] ; Jeanine Souquières [France]	Validation of UML static diagrams using B
006768 (2005)	Ninh Thuan Truong [France] ; Jeanine Souquières [France]	Test of object-based specifications using B notations
006A59 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Validation des propriétés d'un scénario UML/OCL à partir de sa dérivation en B
006B34 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Boo - A formal approach to specification and verification of object-oriented system
006C61 (2004)	Ninh Thuan Truong ; Jeanine Souquières	Consistency checking of UML static diagrams using B
006C83 (2004)	Ninh Thuan Truong ; Jeanine Souquières	An approach for the verification of UML models using B
007096 (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
007439 (2004)	Ninh Thuan Truong [France] ; Jeanine Souquières [France]	Consistency checking of UML static diagrams using B
007460 (2004)	Ninh Thuan Truong [France] ; Jeanine Souquières [France]	Boo - A formal approach to specification and verification of object-oriented system

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Merge/Author.i -k "Ninh Thuan Truong" 

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Merge
   |type=    indexItem
   |index=    Author.i
   |clé=    Ninh Thuan Truong
}}

---

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