Home > Modelado de sistemas concurrentes |
GDOC-2010-1000 |
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.
Este registro pertenece a las colecciones:
Academic resources > Academic guides > guias-docentes-ingenieria-arquitectura > masteres-ingenieria-arquitectura > master-ingenieria-sistemas-informatica
Academic resources > Academic guides > Guías docentes: Curso 2010-2011