Login / Signup

A Model for Estimating the Size of a Formal Communication Protocol Specification and Its Implementation.

Richard LaiSun-Jen Huang
Published in: IEEE Trans. Software Eng. (2003)
Keyphrases
  • formal model
  • probabilistic model
  • case study
  • knowledge representation
  • response time
  • distributed systems
  • data driven