APA (7th ed.) Citation

Wang, L., Chen, M., & Hu, J. Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE. Wiley.

Chicago Style (17th ed.) Citation

Wang, Lisong, Miaofang Chen, and Jun Hu. Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE. Wiley.

MLA (9th ed.) Citation

Wang, Lisong, et al. Formal Verification Method for Configuration of Integrated Modular Avionics System Using MARTE. Wiley.