Sökning: "Mohammad Heidari"

Hittade 1 uppsats innehållade orden Mohammad Heidari.

  1. 1. Runtime Verification of A PLC System: An Industrial Case Study

    Master-uppsats, Mälardalens högskola/Akademin för innovation, design och teknik

    Författare :Mohammad Heidari; [2017]
    Nyckelord :PLC; Runtime verification; Formal specification; Embedded system;

    Sammanfattning : The term verification can mean different things to different people based on their background and the context of research. Comparably the term runtime might bring about similar disarray with lesser confusion. LÄS MER