Login / Signup

An algebraic approach to simulation and verification for cyber-physical systems with shared-variable concurrency.

Ran LiHuibiao ZhuRichard Banach
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
  • cyber physical systems
  • cyber physical
  • database systems
  • real time
  • information technology
  • low cost
  • decision makers
  • human computer interaction
  • distributed databases