Login / Signup

Formal Modeling and Automated Analysis of the LAPD Protocol.

Sol M. ShatzPeter S. KajkaArdaman S. Chauhan
Published in: Comput. Networks ISDN Syst. (1989)
Keyphrases
  • automated analysis
  • automated detection
  • biomedical imaging
  • lightweight
  • formal analysis
  • visual analysis
  • colored petri nets
  • artificial intelligence
  • computer vision