ACM

2010

Formal-based Component Model with Support of Mobile Architecture