A framework for the verification of UML models: examples using petri nets

• Autores: Esther Guerra Sánchez , Jesús de Lara
• Localización: VIII Jornadas de Ingeniería del Software y Bases de Datos: Actas (JISBD'03). Alicante, del 12 al 14 de noviembre de 2003 / coord. por Ernesto Pimentel Sánchez , Nieves R. Brisaboa , Jaime Gómez Ortega , 2003, ISBN 84-688-3836-5, págs. 325-334
• Idioma: inglés
• Texto completo no disponible (Saber más ...)