Search
Formal Tools for Virtual Prototyping of embedded systems – FOTOVP
In the context of past or current projects involving industrial partners from various application domains, the participants of FoToVP have observed several approaches for the design of complex and/or
Social Trust Analysis and Formalization – FORTRUST
It is generally agreed that trust is a key concept in nowadays information technologies, which applies not only in contexts where security is in focus. Beyond system reliability it ensures its usabil
Adaptive Fiabilisation of Multi-Agent Cooperative Applications – FACOMA
The possibility of partial failures is a fundamental characteristic of distributed applications. The fault tolerance research community has developped solutions (algorithms and architectures), mostly