Sökning: "analys av övre tidsgräns"
Hittade 1 avhandling innehållade orden analys av övre tidsgräns.
1. Proving Safety and Security of Binary Programs
Sammanfattning : With the increasing ubiquity of computing devices, their correct and secure operation is of growing importance. In particular, critical components that provide core functionalities or process sensitive data have to operate as intended. LÄS MER
Resultatsidor:
1