Login / Signup

Deductive verification of telecommunication systems written in C.

Igor S. Anureev
Published in: Autom. Control. Comput. Sci. (2013)
Keyphrases
  • telecommunication systems
  • real time
  • cyber security
  • model checking
  • power grids
  • critical infrastructure
  • database systems