Login / Signup

Seamless Implementation of a Telephone Switching System Based on Formal Specifications in RTPA.

Yingxu WangYousheng Tian
Published in: Int. J. Softw. Sci. Comput. Intell. (2012)
Keyphrases
  • formal specification
  • code generation
  • formal specification language
  • temporal logic
  • protocol specification
  • reverse engineering
  • database
  • decision making
  • case study
  • object oriented design