Miguel E. Andrés
- Significant Diagnostic Counterexamples in Probabilistic Model Checking
2008/06/06 by Miguel E. Andrés, Miguel E. Andres, Andres, Miguel E. +5 · 1 citation
Computer Science · #B.8 #C.4 #D.2.4 #FOS: Computer and information sciences #Formal Methods in Verification #G.3 #Logic in Computer Science (cs.LO) #Performance (cs.PF) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques #cs.LO #cs.PF