scholarly journals A Closed-loop Model-based Design Approach based on Automatic Verification and Transformation

Author(s):  
Kun Zhang ◽  
Jonathan Sprinkle
2020 ◽  
Vol 156 ◽  
pp. 719-730 ◽  
Author(s):  
Bart M. Doekemeijer ◽  
Daan van der Hoek ◽  
Jan-Willem van Wingerden

2004 ◽  
Vol 37 (22) ◽  
pp. 29-34 ◽  
Author(s):  
Giovanni Gaviani ◽  
Giacomo Gentile ◽  
Giovanni Stara ◽  
Luigi Romagnoli ◽  
Thomas Thomsen ◽  
...  
Keyword(s):  

2021 ◽  
Vol 386 ◽  
pp. 114092
Author(s):  
Christoph M. Augustin ◽  
Matthias A.F. Gsell ◽  
Elias Karabelas ◽  
Erik Willemen ◽  
Frits W. Prinzen ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document