Secure design and verification of Erlang systems.

Viktória Fördós

Published 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