Login / Signup
Khanh V. Trinh
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 1
Top Topics
Linear Quadratic
Programmable Logic
Question Answering
Written In Natural Language
Top Venues
J. Aerosp. Inf. Syst.
NFM
</>
Publications
</>
Zsófia Ádám
,
Ignacio D. Lopez-Miguel
,
Anastasia Mavridou
,
Thomas Pressburger
,
Marcin Bes
,
Enrique Blanco Viñuela
,
Andreas Katis
,
Jean-Charles Tournier
,
Khanh V. Trinh
,
Borja Fernández Adiego
From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.
NFM
(2023)
Susan A. Frost
,
Marc Bodson
,
John J. Burken
,
Christine V. Jutte
,
Brian R. Taylor
,
Khanh V. Trinh
Flight Control with Optimal Control Allocation Incorporating Structural Load Feedback.
J. Aerosp. Inf. Syst.
12 (12) (2015)