Login / Signup

Verification of HDLC.

Daniel BrandWilliam H. Joyner Jr.
Published in: IEEE Trans. Commun. (1982)
Keyphrases
  • model checking
  • real time
  • information systems
  • formal verification
  • information retrieval
  • search engine
  • case study
  • multi agent
  • multi agent systems
  • probabilistic model
  • digital images
  • concurrent systems