Verification and analysis of domain-specific models of physical characteristics in embedded control software

2012 ◽  
Vol 54 (12) ◽  
pp. 1432-1453 ◽  
Author(s):  
Arjan de Roo ◽  
Hasan Sözer ◽  
Mehmet Akşit
Mechatronics ◽  
2017 ◽  
Vol 43 ◽  
pp. 99-111 ◽  
Author(s):  
Alessandro Beghi ◽  
Fabio Marcuzzi ◽  
Paolo Martin ◽  
Fabio Tinazzi ◽  
Mauro Zigliotto

2010 ◽  
Vol 98 (4) ◽  
pp. 546-561 ◽  
Author(s):  
Sangsoo Park ◽  
Kang Geun Shin ◽  
Shige Wang

Sign in / Sign up

Export Citation Format

Share Document