Introduction to special issue : papers from UML&FM'2011
Résumé
The workshop Unified Modeling Language and Formal Methods (UML&FM2011) aims at encouraging new initiatives of building bridges between informal, semi-formal and formal notations.
The workshop Unified Modeling Language and Formal Methods (UML&FM2011) aims at encouraging new initiatives of building bridges between informal, semi-formal and formal notations.
Connectez-vous pour contacter le contributeur
https://hal.science/hal-00677755
Soumis le : vendredi 9 mars 2012-14:58:45
Dernière modification le : mercredi 21 janvier 2026-03:34:07