On formalizing UML state machines using ASMs

• Autores: Elvinia Riccobene, Alessandra Cavarra, Egon Börger
• Localización: Information and software technology, ISSN 0950-5849, Vol. 46, Nº 5, 2004, págs. 287-292
• Idioma: inglés
• Texto completo no disponible (Saber más ...)