Publications

@phdthesis{Mehrabian2021THESIS,

title = {A Methodology and Formalism to Monitor Timing Specifications Of Cyber-Physical Systems},

author = {Mohammadreza Mehrabian},

url = {https://mpslab-asu.github.io/publications/papers/Mehrabian2021THESIS.pdf, pdf

https://mpslab-asu.github.io/publications/slides/Mehrabian2021THESIS.pptx, slides},

year  = {2021},

date = {2021-07-06},

urldate = {2021-07-06},

keywords = {Cyber Physical and IoT Systems},

pubstate = {published},

tppubtype = {phdthesis}

}