vix.ing · top · new · best · stats · spec

Luca Aceto

  1. An Operational Guide to Monitorability
    2019/06/03 by Luca Aceto, Aceto, Luca, Antonis Achilleos +7 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Security and Verification in Computing