APA (7th ed.) Citation

Grobelna, I. (2020). Formal Verification of Control Modules in Cyber-Physical Systems. Sensors (Basel, Switzerland), 20(18), 5154. https://doi.org/10.3390/s20185154

Chicago Style (17th ed.) Citation

Grobelna, Iwona. "Formal Verification of Control Modules in Cyber-Physical Systems." Sensors (Basel, Switzerland) 20, no. 18 (2020): 5154. https://doi.org/10.3390/s20185154.

MLA (9th ed.) Citation

Grobelna, Iwona. "Formal Verification of Control Modules in Cyber-Physical Systems." Sensors (Basel, Switzerland), vol. 20, no. 18, 2020, p. 5154, https://doi.org/10.3390/s20185154.