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

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)

publisher

  • WORLD SCIENTIFIC PUBL CO PTE LTD

start page

  • 1361

end page

  • 1386

volume

  • 27

issue

  • 9-10