A. Moore

Suggest Changes
Learn More
  • A. Moore
  • Fifth Annual Conference on Computer Assurance…
  • 1990
An overview of a method for formalizing critical system requirements and decomposing them into requirements of the system components and a minimal, possibly empty, set of synchronization requirements(More)
  • 1