Wimmer, Ralf
- Accelerating Parametric Probabilistic Verification
2013/12/13 by Nils Jansen, Florian Corzilius, Jansen, Nils +11 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #cs.SE