Sökning: "Statistisk Modellkontroll"
Hittade 1 uppsats innehållade orden Statistisk Modellkontroll.
1. Probabilistic guarantees in model-checking with Time Petri Nets
Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)Sammanfattning : With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of modelchecking. LÄS MER
Resultatsidor:
1