Login / Signup

Automatic modification of a protocol specification based on changes of a service specification.

Kentaro GoKaoru TakahashiHiroaki KaminagaNorio Shiratori
Published in: ICPADS (1996)
Keyphrases
  • protocol specification
  • formal specification
  • communication protocols
  • formal methods
  • databases
  • knowledge representation
  • response time
  • wireless networks
  • model checking
  • process algebra