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

Miel Sharf

  1. Assume/Guarantee Contracts for Dynamical Systems: Theory and\n Computational Tools
    2020/12/23 by Miel Sharf, Bart Besselink, Sharf, Miel +7 · 1 citation
    Computer Science · Engineering · #FOS: Electrical engineering #Formal Methods in Verification #Model-Driven Software Engineering Techniques #Safety Systems Engineering in Autonomy #Systems and Control (eess.SY) #electronic engineering #information engineering