Luis Miguel Danielsson
Luis Miguel Danielsson
No se ha encontrado una descripción de este investigador.
1 Trabajos publicados
Compañías
IMDEA SOFTWARE INSTITUTE
No se ha especificado una descripción o un objeto social para esta compañía.
Universidad
IMDEA Software Institute.
1 Trabajos publicados
Decentralized Stream Runtime Verification.
Tecnologías
Stream Runtime Verification
Monitoring
Formal Methods
Perfil de ORCID
0000-0002-4429-4966