Formal methods in dynamic software updating: a survey
Lounas, Razika, Mezghiche, Mohamed, Lanet, Jean LouisVolume:
9
Year:
2019
Journal:
International Journal of Critical Computer-Based Systems
DOI:
10.1504/ijccbs.2019.098794
File:
PDF, 610 KB
2019