Login / Signup

Formalization of software models for cyber-physical systems.

Sandeep NeemaGabor SimkoTihamer LevendovszkyJoseph PorterAkshay AgrawalJanos Sztipanovits
Published in: FormaliSE (2014)
Keyphrases
  • computer systems
  • high speed
  • real time
  • software development
  • distributed databases