Atlantis Institut des Sciences Fictives

Curso: 2010-2011

Universidad de Zaragoza, Zaragoza

Titulación: Máster Universitario en Ingeniería de Sistemas e Informática

Idioma: Español

Profesor(es): Silva Suárez, Manuel ; Mahulea , Cristian Florentín

Resumen: La asignatura consta de 4 créditos ECTS o 100 horas de trabajo del alumno. El Máster en Ingeniería de Sistemas e Informática tiene un bloque de asignaturas que forma al alumno en análisis formal de sistemas de eventos discretos impartido por profesores del grupo de Ingeniería de Sistemas de Eventos Discretos (GISED). Dentro de este bloque, esta es la asignatura de formación básica en temas abordados en la investigación del GISED y plantea los conceptos (básicos) necesarios para los cursos de especialización. El objetivo general es proporcionar a los alumnos conocimientos de modelado y análisis de sistemas discretos concurrentes, sean distribuidos o no. El énfasis es el modelado en un ámbito en el que los formalismos tradicionales derivados de las ecuaciones diferenciales no son útiles por su continuidad.