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

Oded Maler

  1. From Real-time Logic to Timed Automata
    2019/05/23 by Thomas Ferrère, Oded Maler, Dejan Ničković +1 · 3 citations
    Computer Science · #Formal Methods in Verification #Software Testing and Debugging Techniques #Logic, programming, and type systems