Safety Analysis of Longitunal Motion Controllers during Climb Flight

Typ

Beitrag Konferenzband von Prof. Dr.-Ing. Horst Schulte

Zitation

Baar, Thomas; Schulte, Horst: Safety Analysis of Longitunal Motion Controllers during Climb Flight. In: Proc.of 10th Workshop on Program Semantics, Specification and Verification (PSSV 2019), S. 1-8, Novosibirsk Akademgorodok, Russia, 2019

Homepage

http://persons.iis.nsk.su/en/pssv2019