000046543 001__ 46543 000046543 005__ 20170831220541.0 000046543 037__ $$aGDOC-2010-1000 000046543 041__ $$aspa 000046543 100__ $$0(orcid)0000-0001-8631-8770$$aSilva Suárez, Manuel 000046543 24500 $$962604$$aModelado de sistemas concurrentes 000046543 260__ $$aZaragoza$$bUniversidad de Zaragoza$$c2010-2011 000046543 520__ $$aLa 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. 000046543 521__ $$9630$$aMáster Universitario en Ingeniería de Sistemas e Informática 000046543 540__ $$aby-nc-sa$$bCreative Commons$$c3.0$$uhttp://creativecommons.org/licenses/by-nc-sa/3.0/ 000046543 700__ $$0(orcid)0000-0003-0056-2225$$aMahulea , Cristian Florentín 000046543 830__ $$9345 000046543 8564_ $$s96261$$uhttps://zaguan.unizar.es/record/46543/files/guia.pdf$$yGuía (idioma español) 000046543 980__ $$aGDOC$$bIngeniería y Arquitectura$$c106