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

Raúl López-Rueda

  1. Delayed Constraints in Narrowing for the Logic-Based Analyses of Real-Time Systems
    2026/07/20 by Santiago Escobar, Raúl López-Rueda, Carlos Olarte · 1 voice
    Computer Science · #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Real-Time Systems Scheduling