• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Semantics Foundation for Cyber-physical Systems Using Higher-order UTP.

Xiong XuJean-Pierre TalpinShuling WangBohua ZhanNaijun Zhan
Published in: ACM Trans. Softw. Eng. Methodol. (2023)
Keyphrases
  • higher order
  • cyber physical systems
  • cyber physical
  • cyber security
  • physical world
  • artificial intelligence
  • decision problems
  • embedded systems