Sökning: "Musard Balliu"
Hittade 2 avhandlingar innehållade orden Musard Balliu.
1. Logics for Information Flow Security:From Specification to Verification
Sammanfattning : Software is becoming increasingly ubiquitous and today we find software running everywhere. There is software driving our favorite game application or inside the web portal we use to read the morning news, and when we book a vacation. LÄS MER
2. Automated Deductive Verification of Safety-Critical Embedded Software
Sammanfattning : Embedded systems are everywhere in society, and in many industries, such as the automotive industry, embedded systems are safety-critical. Embedded systems are today also increasingly controlled by software, with advances in, for example, autonomous driving. LÄS MER
Resultatsidor:
1