Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System

Automated Software Engineering- Netherlands

doi 10.1023/b:ause.0000017742.47984.6c

Full Text

Abstract

Available in

Categories

Software

Date

Authors

Publisher

Springer Science and Business Media LLC


Related search