Contracting: ISTI-CNR (partner)

Type: Progetto internazionale

Commessa:
Trustworthy and Secure Future Internet

The ConneCt Integrated Project aims at dropping the interoperability barrier by adopting a revolutionary approach to the seamless networking of digital systems, that is, synthesizing on the fly the connectors via which networked systems communicate. ConneCt enables the dynamic synthesis of ConneCtors by introducing a formal foundation for connectors, which allows learning, reasoning about and adapting the interaction behavior of networked systems.

Partecipants:

Fabio Martinelli

Marinella Petrocchi

Ilaria Matteucci