"A formal approach based on UML and B for the specification and development ..."

Amel Mammar, Régine Laleau (2006)

Details and statistics

DOI: 10.1007/S10515-006-0273-5

access: closed

type: Journal Article

metadata version: 2017-05-18

a service of  Schloss Dagstuhl - Leibniz Center for Informatics