Resultados de procura - Mario Bravetti

Axiomatizing Maximal Progress and Discrete Time por Mario Bravetti

Ligazón do recurso

Fair Asynchronous Session Subtyping por Mario Bravetti, Julien Lange, Gianluigi Zavattaro

Ligazón do recurso

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation por Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Ligazón do recurso

Adaptable processes por Mario Bravetti, Cinzia Di Giusto, Jorge A Perez, Gianluigi Zavattaro

Ligazón do recurso

A Hybrid Automaton-Based Vehicle Digital Twin for Verifiable Pedestrian Protection por Lorenzo Bacchiani, Andrea Bedei, Ozlem Kaya, Roberta Presta, Mario Bravetti, Roberto Girau

Ligazón do recurso