Open AccessFormal methods in dynamic software updating: a survey
Author(s) -
Razika Lounas,
Mohamed Mezghiche,
Jean Louis Lanet
Publication year - 2019
Publication title -
international journal of critical computer-based systems
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.146
H-Index - 10
eISSN - 1757-8787
pISSN - 1757-8779
DOI - 10.1504/ijccbs.2019.10020014
Subject(s) - computer science , software , software engineering , programming language