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

Junttila, Tommi

  1. Bounded Model Checking of an MITL Fragment for Timed Automata
    2013/04/26 by Roland Kindermann, Kindermann, Roland, Tommi Junttila +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Model-Driven Software Engineering Techniques #Software Testing and Debugging Techniques #cs.LO