L. V. Nguyen
发表
L. V. Nguyen,
2017
.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2021,
Formal Aspects of Computing.
L. V. Nguyen,
2014
.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
FM.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2020,
CAV.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
2019 IEEE/ACM 7th International Conference on Formal Methods in Software Engineering (FormaliSE).
Steven Drager,
Luan Viet Nguyen,
Taylor T. Johnson,
2018,
ACM Trans. Cyber Phys. Syst..
Ali Davoudi,
Luan Viet Nguyen,
Taylor T. Johnson,
2019,
IEEE Transactions on Smart Grid.
Luan Viet Nguyen,
James Kapinski,
Xiaoqing Jin,
2017,
MEMOCODE.
Weiming Xiang,
Luan Viet Nguyen,
Taylor T. Johnson,
2020,
2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION).
Luan Viet Nguyen,
Taylor T. Johnson,
L. V. Nguyen,
2014,
ARCH@CPSWeek.
K. A. Hoque,
L. V. Nguyen,
Ernest Bonnah,
2023,
ArXiv.
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2019,
MEMOCODE.
Luan Viet Nguyen,
Taylor T. Johnson,
Ruoshi Zhang,
2014,
CyPhy '14.
Ken Butts,
Luan Viet Nguyen,
James Kapinski,
2017,
HSCC.
Luan Viet Nguyen,
Taylor T. Johnson,
Hoang-Dung Tran,
2014,
IEEE Transactions on Energy Conversion.
Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter
pdf
Luan Viet Nguyen,
Taylor T. Johnson,
L. V. Nguyen,
2014,
ArXiv.
Taylor T. Johnson,
Hoang-Dung Tran,
L. V. Nguyen,
2015,
ARCH@CPSWeek.
Luan Viet Nguyen,
Taylor T. Johnson,
Hoang-Dung Tran,
2017
.