Complex System Design

Progettazione e analisi di sistemi complessi e distribuiti: modellazione formale di sistemi concorrenti e processi, linguaggi e notazioni di modellazione (BPMN, reti di Petri, automi), specifica di requisiti e comportamenti, verifica e validazione dei modelli, simulazione, architetture di sistemi socio-tecnici e cyber-fisici, interazione tra componenti e agenti autonomi...

Webex