A formal verification of safe update point detection in dynamic software updating
No Thumbnail Available
Date
2017
Journal Title
Journal ISSN
Volume Title
Publisher
Springer
Abstract
Description
Keywords
Dynamic Software Updating, Safe update point, Model checking, Update safety