Essays about: "Mohammad Heidari"

Found 1 essay containing the words Mohammad Heidari.

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

    University essay from Mälardalens högskola/Akademin för innovation, design och teknik

    Author : Mohammad Heidari; [2017]
    Keywords : PLC; Runtime verification; Formal specification; Embedded system;

    Abstract : 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. READ MORE