Abstract Specification of PKC/Input
Jump to navigation
Jump to search
- Existing system architecture specifications and design documents of the previous generation of PKC.
- Update-to-date knowledge about Data-intensive system design methodology and knowledge representation tools.
- Specifying Systems by Leslie Lamport.