The integration of ICT (information and communications technology) in different applications is rapidly increasing in e.g. Embedded and Cyber physical systems, Communication protocols and Transportation systems. Hence, their reliability and dependability increasingly depends on software. Defects can be fatal and extremely costly (with regards to mass-production of products and safety-critical systems).
Ofrecido Por


Quantitative Model Checking
EIT DigitalAcerca de este Curso
2764 vistas recientes
Fechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Nivel intermedio
Aprox. 18 horas para completar
Inglés (English)
¿Podría tu empresa beneficiarse de la capacitación de los empleados en las habilidades más demandadas?
Prueba Coursera para negociosFechas límite flexibles
Restablece las fechas límite en función de tus horarios.
Certificado para compartir
Obtén un certificado al finalizar
100 % en línea
Comienza de inmediato y aprende a tu propio ritmo.
Nivel intermedio
Aprox. 18 horas para completar
Inglés (English)
¿Podría tu empresa beneficiarse de la capacitación de los empleados en las habilidades más demandadas?
Prueba Coursera para negociosOfrecido por
Programa - Qué aprenderás en este curso
4 horas para completar
Module 1: Computational Tree Logic
4 horas para completar
6 videos (Total 61 minutos), 3 lecturas, 4 cuestionarios
3 horas para completar
Discrete Time Markov Chains
3 horas para completar
5 videos (Total 49 minutos), 2 lecturas, 5 cuestionarios
4 horas para completar
Probabilistic Computational Tree Logic
4 horas para completar
5 videos (Total 36 minutos), 3 lecturas, 6 cuestionarios
4 horas para completar
Continuous Time Markov Chains
4 horas para completar
5 videos (Total 57 minutos), 2 lecturas, 6 cuestionarios
Preguntas Frecuentes
¿Cuándo podré acceder a las lecciones y tareas?
¿Qué recibiré si compro el Certificado?
¿Hay ayuda económica disponible?
¿Tienes más preguntas? Visita el Centro de Ayuda al Estudiante.