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

Borja Fernández Adiego

  1. Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
    2025/02/26 by Ignacio D. Lopez-Miguel, Lopez-Miguel, Ignacio D., Borja Fernández Adiego +4 · 1 citation
    Computer Science · Engineering · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Petri Nets in System Modeling #Radiation Effects in Electronics #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE)