Design and Implementation of Self-Protecting systems: A Formal Approach.
Charilaos SkandylasNarges KhakpourPublished in: Future Gener. Comput. Syst. (2021)
Keyphrases
- implementation issues
- management system
- formal methods
- design issues
- highly modular
- building blocks
- interactive systems
- embedded systems
- design methodology
- computer systems
- industrial strength
- design automation
- design methodologies
- design criteria
- circuit design
- design considerations
- design tools
- complex systems
- design process
- design space
- database systems
- rapid prototyping
- engineering design
- design processes
- learning systems
- knowledge based systems
- distributed systems
- expert systems