Automatic Analysis of Bounded Resources for Embedded Systems

  • Hammond, Kevin (PI)
  • Dyckhoff, Roy (CoI)

Project: Standard

Project Details

AcronymContract No 510255
StatusFinished
Effective start/end date1/03/05 → 28/02/09

Funding

  • European Commission Joint Research Centre: £249,004.00