The trust plays an extremely important role in online shopping. In order to make online shopping trusty, this paper puts foreword a new trust model in e-commerc
In this work, we propose an approach for the verification of the AADL architecture. This approach is based on Model Driven Engineering (MDE) and assisted by a t