Khanh V. Trinh

According to our database, Khanh V. Trinh authored at least 2 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.

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

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

2015

Flight Control with Optimal Control Allocation Incorporating Structural Load Feedback.

Susan A. Frost, Marc Bodson, John J. Burken, Christine V. Jutte, Brian R. Taylor, Khanh V. Trinh

J. Aerosp. Inf. Syst., 2015