Keynotes

The following topics are dealt with: formal specification; Internet of Things; security of data; program verification; real-time systems; time series; program testing; formal verification; learning (artificial intelligence); cyber-physical systems.