Login / Signup

Using Z to Rigorously Review a Specification of a Network Management System.

Tony BryantAndy EvansLesley SemmensRajko MilovanovicSinclair Guillaume StockmanMark T. NorrisClive Selley
Published in: ZUM (1995)
Keyphrases
  • high level
  • formal specification
  • literature review
  • asynchronous circuits
  • data sets
  • databases
  • search engine
  • clustering algorithm
  • database systems
  • evolutionary algorithm
  • relevant literature