Verification of Quality of Service Properties in Timed Systems

  • Kwiatkowska, Marta (Principal Investigator)

Project Details

Short titleVerification of Quality of Service Properties in Timed Systems
StatusFinished
Effective start/end date1/05/00 → 31/07/03

Funding

  • Engineering & Physical Science Research Council