Les mer om HATS-prosjektet på den engelske prosjektsiden.
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.
Publisert 4. mars 2013 10:45
- Sist endret 7. feb. 2020 15:50