Bandyopadhyay, S., & Sarkar, S. (2025). Verifying Correctness of PLC Software during System Evolution using Model Containment Approach.
Cita Chicago Style (17a ed.)Bandyopadhyay, Soumyadip, y Santonu Sarkar. Verifying Correctness of PLC Software During System Evolution Using Model Containment Approach. 2025.
Cita MLA (9a ed.)Bandyopadhyay, Soumyadip, y Santonu Sarkar. Verifying Correctness of PLC Software During System Evolution Using Model Containment Approach. 2025.
Precaución: Estas citas no son 100% exactas.