
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