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

Gábor Kusper

  1. Integrating Temporal Assertions into a Parallel Debugger
    2002/01/01 by Jozsef Kovacs, József Kovács, Gábor Kusper +4 · 1 citation
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Real-Time Systems Scheduling