Secure design and verification of Erlang systems.
Viktória FördósPublished in: Erlang Workshop (2020)
Keyphrases
- building blocks
- design criteria
- knowledge based systems
- design issues
- formal methods
- retrieval systems
- high assurance
- user interface
- design tools
- neural network
- engineering design
- distributed systems
- case study
- embedded systems
- complex systems
- wireless sensor networks
- design processes
- automated verification
- single point of failure
- data sets