Title of article :
A Supermodel Framework Supporting Validated Upgrading of Reactive Systems
Author/Authors :
Robert J. Hall ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2003
Keywords :
Evolution , upgrading , supermodel , validation , Reactive system
Journal title :
Automated Software Engineering
Journal title :
Automated Software Engineering
