| Revista: | Computación y sistemas |
| Base de datos: | PERIÓDICA |
| Número de sistema: | 000183300 |
| ISSN: | 1405-5546 |
| Autores: | Sánchez Palma, Pedro1 Ramos Salavert, Isidro |
| Instituciones: | 1Universidad Politécnica de Valencia, Valencia. España |
| Año: | 2001 |
| Periodo: | Jul-Sep |
| Volumen: | 5 |
| Número: | 1 |
| Paginación: | 67-76 |
| País: | México |
| Idioma: | Español |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico |
| Disciplinas: | Ciencias de la computación, Matemáticas |
| Palabras clave: | Matemáticas aplicadas, Validación por animación, Ingeniería de requisitos, Métodos formales, Ingeniería de software, Redes de Petri |
| Keyword: | Computer science, Mathematics, Applied mathematics, Validation by animation, Requirements engineering, Formal methods, Software engineering, Petri nets |
| Solicitud del documento | |
