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.

Conference or Workshop Item (A Paper)

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 Thu Mar 28 00:28:40 2024 CET.