Amanote Research
Register
Sign In
Abstraction Techniques for Compositional State-Based Scheduling Analysis
doi 10.1109/sbesc.2012.40
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2012
Authors
Tayfun Gezgin
Stefan Henkler
Achim Rettberg
Ingo Stierand
Publisher
IEEE
