Picture for Ferruccio Damiani

Ferruccio Damiani

Software Engineering for Collective Cyber-Physical Ecosystems

Add code
Jun 07, 2024
Viaarxiv icon

Programming Distributed Collective Processes in the eXchange Calculus

Add code
Jan 20, 2024
Viaarxiv icon

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Add code
Aug 28, 2023
Viaarxiv icon