Modelo ontológico de verificación de sistemas multiagentes diseñados bajo Masina
Título del documento: Modelo ontológico de verificación de sistemas multiagentes diseñados bajo Masina
Revista: Avances en sistemas e informática
Base de datos: PERIÓDICA
Número de sistema: 000340497
ISSN: 1657-7663
Autores: 1
2
Instituciones: 1Universidad de Los Andes, Departamento de Computación, Mérida. Venezuela
2Distrito Tecnológico Petróleos de Venezuela, Mérida. Venezuela
Año:
Periodo: Dic
Volumen: 5
Número: 3
Paginación: 163-176
País: Colombia
Idioma: Español
Tipo de documento: Artículo
Enfoque: Analítico, descriptivo
Disciplinas: Ciencias de la computación,
Ingeniería
Palabras clave: Ingeniería de control,
Ingeniería electrónica,
Computación,
Sistemas multiagente,
MASINA,
Verificación composicional,
Verificación en cruce de modelos,
Ontología,
Verificación de diseños
Keyword: Computer science,
Engineering,
Control engineering,
Electronic engineering,
Multi-agent systems,
MASINA,
Compositional verification,
Verification on models crossing,
Ontology,
Designs verifications
Texto completo: Texto completo (Ver HTML)