Libri di Cyber Physical Systems Design – prof. Diletta Romana Cacciagrano

Computer Science – sede di Camerino · Università degli Studi di Camerino · 1º anno · 1º semestre · Software Development and Technologies · 6 CFU · canale unico

Libri del canale

Cyber Physical Systems Design 6 CFU

DCProf. Diletta Romana Cacciagrano Canale unico

Il docente indica 1 testo

System Design – And Simulation using Ptolemy IIIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Cerca su Amazon ›

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.

Apri nel catalogo: Computer Science – sede di Camerino, 1º anno, tutte le materie e i canali ›

Testi d'esame di Cyber Physical Systems Design del prof. Diletta Romana Cacciagrano, canale unico, corso di laurea in Computer Science – sede di Camerino (Laurea magistrale (LM-18)), Università degli Studi di Camerino, 1º anno · 1º semestre · Software Development and Technologies · 6 CFU, a.a. 2026/2027. Libri adottati: System Design – And Simulation using Ptolemy II.

Vedi anche: Prof. Diletta Romana Cacciagrano · Cyber Physical Systems Design a Camerino (tutti i canali)