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

Bernd Fischer

  1. Verifying Embedded C Software with Timing Constraints using an Untimed\n Model Checker
    2011/06/12 by Raimundo Barreto, Barreto, Raimundo, Lucas C. Cordeiro +3 · 1 citation
    Computer Science · #Embedded Systems Design Techniques #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling