All Stories

  1. Semi-formal verification of closed-loop specifications in the concept design phase

    Article • at - Automatisierungstechnik, January 2017, De Gruyter

    Dr Jan H Richter