Documentation
Français (FR)

Anglais (EN)

Jeanine Souquières

4

Documents

Présentation

Publications

830522

	Validation of UML static diagrams using B Ninh Thuan Truong , Jeanine Souquières 2005, pp.7 Communication dans un congrès hal-00009104v1

	Prise en compte des propriétés objets de réciprocité en B Ninh Thuan Truong , Jeanine Souquières 2005 Pré-publication, Document de travail hal-00009105v1
	Test of object-based specifications using B notations Ninh Thuan Truong , Jeanine Souquières 2005 Pré-publication, Document de travail hal-00015031v1
	Un outil support pour prendre en compte des propriétés objets de réciprocité en B Ninh Thuan Truong , Jeanine Souquières 2005 Pré-publication, Document de travail hal-00013768v1