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
Date
April 1, 2004
Authors
Publisher
Springer Science and Business Media LLC