ODRE Workshop: Using SIL Arithmetic to Design Safe and Secure Systems.
Catherine MenonSaverio IacovelliRaimund KirnerPublished in: ISORC (2020)
Keyphrases
- building blocks
- knowledge based systems
- design criteria
- design process
- learning systems
- design tools
- design issues
- expert systems
- intelligent systems
- distributed systems
- management system
- user interface
- support systems
- design space
- design requirements
- interactive systems
- neural network
- heterogeneous platforms
- highly modular
- high assurance
- human computer interface
- formal methods
- computer aided
- e learning