HATS: Highly Adaptable and Trustworthy Software using Formal Models (avsluttet)

HATS står for Highly Adaptable and Trustworthy Software using Formal Models og er et IP-prosjekt finansiert av EUs 7. rammeprogram.

Les mer om HATS-prosjektet på den engelske prosjektsiden.

Publisert 4. mars 2013 10:45 - Sist endret 6. apr. 2017 10:36