: A Technique for Software Module Specification with Examples.
: Comment on Deadlock Prevention Method.
: A Technique for Software Module Specification with Examples (Reprint).
: On Synchronization in Hard-Real-Time Systems.
: A language for describing the functions of synchronous systems.
: Software Aspects of Strategic Defense Systems.
: Use of the Concept of Transparency in the Design of Hierarchically Structured Systems.
: The risks of stopping too soon.
: Risks of undisciplined development.
: Which is riskier: OS diversity or OS monopoly?
(search: 0.004 sec. - facets: 0.023 sec.- similarity: 0.89 sec)