Actualidad
IMDEA Software
Runtime Verification of Hyperproperties for Deterministic Programs
09 jul 2018
Leer más trending_flatIMDEA Software
Talk by Nuno Machado: Practical Log-based Analysis for Distributed Systems
03 jul 2018
Leer más trending_flatIMDEA Software
Talk by Luis Miguel Danielsson: Decentralized Stream Runtime Verification
03 jul 2018
Leer más trending_flatIMDEA Software
Talk by Nuno Machado: Practical Log-based Analysis for Distributed Systems
03 jul 2018
Leer más trending_flatIMDEA Software
Talk by Luis Miguel Danielsson: Decentralized Stream Runtime Verification
03 jul 2018
Leer más trending_flat