Safe and precise WCET determination by abstract interpretation of pipeline modelsStephan ThesingVypredaná4,3Postrážiť