scholarly journals A formal approach to reactive system design: unmanned aerial vehicle flight management system design example

Author(s):  
T.J. Koo ◽  
B. Sinopoli ◽  
A. Sangiovanni-Vincentelli ◽  
S. Sastry
2021 ◽  
Vol 9 (3) ◽  
pp. 2170031
Author(s):  
Betül Erdör Türk ◽  
Mustafa Hadi Sarul ◽  
Ekrem Çengelci ◽  
Çiğdem İyigün Karadağ ◽  
Fatma Gül Boyacı San ◽  
...  

Author(s):  
Amaanullah ◽  
Muhammed Ahmed Lamba ◽  
Surya Prakash S ◽  
Shrikant S. Tangade ◽  
Syed Sehraab Nawaz ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document