Skip to content

Quantitative Evaluation in Embedded System Design: Trends in Modeling and Analysis Techniques.

Joost-Pieter Katoen

VenueADATE
Year2008
ProceedingsDATE

Browse the full DATE paper archive.