Registered user since Thu 25 Apr 2019
Name: Alberto Lluch Lafuente
Country: Denmark
Affiliation: Technical University of Denmark
Personal website: http://www.imm.dtu.dk/~albl/
Research interests: Formal Methods, Distributed and Concurrent System, Safety and Security, Software Engineering, Artificial Intelligence
Contributions
| SPIN 2021 | Technical University of Denmark in Programming Committee within the SPIN-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile