project . 2009 - 2013 . Closed

HATS

Highly Adaptable and Trustworthy Software using Formal Models
European Commission
  • Funder: European CommissionProject code: 231620 Call for proposal: FP7-ICT-2007-3
  • Funded under: FP7 | SP1 | ICT
  • Status: Closed
  • Start Date
    01 Mar 2009
    End Date
    28 Feb 2013
  • Detailed project information (CORDIS)
  • Open Access mandate
    Publications: NoResearch Data: No