Libri UniversitariApri il catalogo

System Design – And Simulation using Ptolemy II

Libro adottato a Camerino, a.a. 2026/2027 · 1 canale

«System Design – And Simulation using Ptolemy II» è adottato per Cyber Physical Systems Design dal prof. Diletta Romana Cacciagrano (Computer Science – sede di Camerino – Camerino).

System Design – And Simulation using Ptolemy IICerca su Amazon ›

Come lo indica il docente: System Design, Modeling, and Simulation using Ptolemy II, Published by ptolemy.org (2014) - Lee and Seshia, Introduction to Embedded Systems, A Cyber-Physical Systems Approach — Second Edition, MIT Press (2017)

Chi lo adotta

Programma e testi di ogni canale

Cyber Physical Systems Design – 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 ›

System Design – And Simulation using Ptolemy IIquesto libroCerca 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.