Keyphrases
- building blocks
- high assurance
- formal methods
- knowledge based systems
- complex systems
- interactive systems
- human computer interface
- heterogeneous platforms
- design process
- computer aided
- user interface
- design criteria
- asynchronous circuits
- cryptographic protocols
- design tools
- design issues
- model checking
- operating system
- design methodology
- design decisions
- formal verification
- retrieval systems
- distributed systems
- wireless sensor networks
- expert systems