Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems Proceedings Paper

cited authors

  • He, Xudong; Alam, Dewan Mohammad Moksedul; IEEE

publication date

  • January 1, 2019

webpage

author keyword

category

Digital Object Identifier (DOI)

start page

  • 216

end page

  • 227