Cyber Physical Systems Design – Camerino

Università degli Studi di Camerino · Scuola di Scienze e Tecnologie · tutti i canali con docenti e libri, a.a. 2026/2027

Prof. Diletta Romana Cacciagrano Canale unico

Corso di laurea: Computer Science – sede di Camerino · Laurea magistrale (LM-18) · 1º anno · 1º semestre · Software Development and Technologies · 6 CFU / esame facoltativo · 6 CFU

Camerino · Scuola di Scienze e Tecnologie · 6 CFU · apri nel catalogo · Computer Science – sede di Camerino · 1º anno · 1º semestre ›

Il docente indica 1 testo

System Design – And Simulation using Ptolemy II Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: Introduzione -Il Processo di Progettazione Modellazione di Comportamenti Dinamici -Dinamiche Continue -Dinamiche Discrete -Sistemi Ibridi -Composizione di Macchine a Stati -Modelli Concorrenti di Computazione Analisi e Verifica (opzionale) -Invarianti e Logica Temporale -Equivalenza e Raffinamento -Analisi di Raggiungibilità e Model Checking Ptolemy II

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.