Angelo Palladino | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Stefano Marrone
3 publications
Maria Stella de Biase
1 publication
Mariapia Raimondo
1 publication

research

∙ 10/07/2022

Towards Automatic Model Completion: from Requirements to SysML State Machines

Even if model-driven techniques have been enabled the centrality of the ...

0 Maria Stella de Biase, et al. ∙

research

∙ 10/06/2022

Model-Driven Engineering for Formal Verification and Security Testing of Authentication Protocols

Even if the verification of authentication protocols can be achieved by ...

0 Mariapia Raimondo, et al. ∙