Relating average and discounted costs for quantitative analysis of timed systems
Conference Proceeding
Overview
publication date
- October 9, 2011
has restriction
- green
Date in CU Experts
- November 8, 2020 2:03 AM
Full Author List
- Alur R; Trivedi A
author count
- 2
presented at event
- ESWeek '11: Seventh Embedded Systems Week Conference