Franco Mazzanti | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Alessio Ferrari
13 publications
Davide Basile
4 publications
Dimitri Belli
2 publications

research

∙ 03/18/2022

Formal Modeling and Initial Analysis of the 4SECURail Case Study

We present the case study developed in the context of the 4SECURail proj...

0 Franco Mazzanti, et al. ∙

research

∙ 01/27/2021

Systematic Evaluation and Usability Analysis of Formal Tools for System Design

Formal methods and supporting tools have a long record of successes in t...

0 Alessio Ferrari, et al. ∙

research

∙ 03/27/2018

Ten Diverse Formal Models for a CBTC Automatic Train Supervision System

Communications-based Train Control (CBTC) systems are metro signalling p...

0 Franco Mazzanti, et al. ∙