A Comparison of Tools for Modeling and Verifying Hybrid Dynamical Systems.

Show full item record

Title: A Comparison of Tools for Modeling and Verifying Hybrid Dynamical Systems.
Author: Cakir, Gulsah
Advisors: John Baugh, Chair
Gnanamanikam Mahinthakumar, Member
Earl Brill, Member
Date: 2020-08-14
Degree: Master of Science
Discipline: Civil Engineering
URI: https://www.lib.ncsu.edu/resolver/1840.20/38373


Files in this item

Files Size Format View
etd.pdf 3.539Mb PDF View/Open

This item appears in the following Collection(s)

Show full item record