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

Benoı̂t Caillaud

  1. A Generic Model of Contracts for Embedded Systems
    2007/06/11 by Albert Benveniste, Benveniste, Albert, Benoı̂t Caillaud +3 · 1 citation
    Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Software Engineering (cs.SE)