Contact Author Information

(Maximium 100 words)

Contact author name : 
Title               : 
Organization        : 
Street Address      : 
City                : 
State               : 
Zip                 : 
Country             : 
Phone               : 
Fax                 : 
Email               : 

Paper Information

(Maximum 100 words)

Paper Title         : 
Author Name 1       : 
Author Name 2       : 
Author Name 3       : 
Author Name 4       : 
Author Name 5       : 
Author Name 6       : 

Paper type (tracks): ---
full paper

Keyword 1 : NONEcomponent compositioncomponent calculiobject orientationreal timesafety criticalembedded systemstrust modelsbehavior modelsupdate, reconfigurationcomponent testingextra-functional propertiescoordinationsemanticsrefinementmodel checkingconcurrency

Keyword 2 : NONEcomponent compositioncomponent calculiobject orientationreal timesafety criticalembedded systemstrust modelsbehavior modelsupdate, reconfigurationcomponent testingextra-functional propertiescoordinationsemanticsrefinementmodel checkingconcurrency

Keyword 3 : NONEcomponent compositioncomponent calculiobject orientationreal timesafety criticalembedded systemstrust modelsbehavior modelsupdate, reconfigurationcomponent testingextra-functional propertiescoordinationsemanticsrefinementmodel checkingconcurrency

Keyword 4 : NONEcomponent compositioncomponent calculiobject orientationreal timesafety criticalembedded systemstrust modelsbehavior modelsupdate, reconfigurationcomponent testingextra-functional propertiescoordinationsemanticsrefinementmodel checkingconcurrency

Keyword 5 : NONEcomponent compositioncomponent calculiobject orientationreal timesafety criticalembedded systemstrust modelsbehavior modelsupdate, reconfigurationcomponent testingextra-functional propertiescoordinationsemanticsrefinementmodel checkingconcurrency

Abstract:

(Maximum 300 words)