46543 20170831220541.0 GDOC-2010-1000 spa (orcid)0000-0001-8631-8770 Silva Suárez, Manuel 62604 Modelado de sistemas concurrentes Zaragoza Universidad de Zaragoza 2010-2011 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. 630 Máster Universitario en Ingeniería de Sistemas e Informática by-nc-sa Creative Commons 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ (orcid)0000-0003-0056-2225 Mahulea , Cristian Florentín 345 96261 http://zaguan.unizar.es/record/46543/files/guia.pdf Guía (idioma español) GDOC Ingeniería y Arquitectura 106