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 full text

Categories
Software
Date
Authors
Publisher

Springer Science and Business Media LLC


Related search