Thesis Proposal

2007

Formal-based Component Model with Support of Mobile Architecture