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

Mateis, Cristinel

  1. Automatic Failure Explanation in CPS Models
    2019/03/29 by Bartocci, Ezio, Manjunath, Niveditha, Mariani, Leonardo +2 · 1 citation
    #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Software Engineering (cs.SE)