A Framework for Developing Cyber-Physical Systems Conference

He, Xudong, Dong, Zhijiang, Yin, Heng et al. (2017). A Framework for Developing Cyber-Physical Systems . International Journal of Software Engineering and Knowledge Engineering, 27(9-10), 1361-1386. 10.1142/S0218194017400010

cited authors

  • He, Xudong; Dong, Zhijiang; Yin, Heng; Fu, Yujian

authors

publication date

  • December 1, 2017

published in

keywords

  • Computer Science
  • Computer Science, Artificial Intelligence
  • Computer Science, Software Engineering
  • Cyber-physical systems
  • Engineering
  • Engineering, Electrical & Electronic
  • Science & Technology
  • Technology
  • high-level Petri nets
  • model checking
  • model-driven development
  • runtime verification
  • simulation

Digital Object Identifier (DOI)

start page

  • 1361

end page

  • 1386

volume

  • 27

issue

  • 9-10