Integrating UML and B Specification Techniques

Hung Ledang, Jeanine Souquières

HAL (Le Centre pour la Communication Scientifique Directe) · 2001 · 21 citations · 2 references

Full text

Open access

Concepts

Abstract

Colloque avec actes et comité de lecture. internationale.

References

2