: 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.
: Some conclusions from an experiment in software engineering techniques.
: Use of the Concept of Transparency in the Design of Hierarchically Structured Systems.
: The risks of stopping too soon.
: Criteria for Decomposing Systems Into Components in Modeling and Simulation: Lessons Learned with Military Simulations.
(search: 0.291 sec. - facets: 0.895 sec.- similarity: 1.29 sec)