Cite
MLA Citation
Razika Lounas et al.. “A formal verification of dynamic updating in a Java-based embedded system.” International journal of critical computer-based systems, vol. 7, 2018, pp. 303–340. http://access.bl.uk/ark:/81055/vdc_100075975763.0x000009