61 search results - page 13 / 13 » Verification of safety properties for concurrent assembly co... |
NGITS
1999
Springer
13 years 9 months ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...