Modelling and Verification of Soft Deadlines

  • Kwiatkowska, Marta (Principal Investigator)

Project Details

Short titleModelling and Verification of Soft Deadlines
StatusFinished
Effective start/end date1/06/00 → 31/05/03

Funding

  • Engineering & Physical Science Research Council