Items where Author is "Stutz, Felix"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Cerqueira, Felipe and Stutz, Felix and Brandenburg, Björn B.
(2016) PROSA: A Case for Readable Mechanized Schedulability Analysis.
In: 28th Euromicro Conference on Real-Time Systems, ECRTS 2016, Toulouse, France, July 5-8, 2016.
Conference: ECRTS Euromicro Conference on Real-Time Systems

This list was generated on Sat Apr 27 01:02:41 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.