Cite
Real-time design patterns for the verification of safety-critical embedded systems in model-based approach.
MLA
Mzid, Rania. “Real-Time Design Patterns for the Verification of Safety-Critical Embedded Systems in Model-Based Approach.” Journal of Supercomputing, vol. 80, no. 8, May 2024, pp. 11431–73. EBSCOhost, https://doi.org/10.1007/s11227-023-05866-0.
APA
Mzid, R. (2024). Real-time design patterns for the verification of safety-critical embedded systems in model-based approach. Journal of Supercomputing, 80(8), 11431–11473. https://doi.org/10.1007/s11227-023-05866-0
Chicago
Mzid, Rania. 2024. “Real-Time Design Patterns for the Verification of Safety-Critical Embedded Systems in Model-Based Approach.” Journal of Supercomputing 80 (8): 11431–73. doi:10.1007/s11227-023-05866-0.