Open AccessModeling and Analyzing Cyber-Physical Systems Using Hybrid Predicate Transition Nets
Author(s) -
Dewan Mohammad Moksedul Alam
Publication year - 2020
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.25148/etd.fidc009168
Subject(s) - dependability , cyber physical system , reachability , computer science , model checking , formal methods , formal verification , automaton , physical system , predicate (mathematical logic) , petri net , complex system , distributed computing , systems engineering , software engineering , artificial intelligence , theoretical computer science , engineering , programming language , physics , quantum mechanics , operating system
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom