Duration Calculus

Il libro "Duration Calculus" offre un'introduzione completa alle basi formali del Duration Calculus, una logica speciale per lo sviluppo di sistemi in tempo reale. Esamina le caratteristiche uniche di questa logica, che consentono di esprimere e analizzare con precisione le durate temporali degli stati nei sistemi in tempo reale. Attraverso una presentazione chiara e sistematica, il concetto di Duration Calculus viene spiegato sia per la specifica formale che per la verifica dei sistemi in tempo reale. Il libro include anche casi studio selezionati che illustrano l'applicazione pratica del Duration Calculus, oltre a una panoramica completa sulla ricerca attuale in questo campo. È rivolto a studenti di livello magistrale e dottorale, nonché a ricercatori e professionisti esperti che si occupano dello sviluppo e dell'analisi di sistemi in tempo reale.