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

Michael Ummels

  1. Computing Quantiles in Markov Reward Models
    2013/01/09 by Michael Ummels, Ummels, Michael, Christel Baier +1 · 3 citations
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Real-Time Systems Scheduling