Formal analysis based evaluation of software defined networking for time-sensitive Ethernet.

Daniel Thiele Rolf Ernst

Published in: DATE (2016)

Keyphrases

formal analysis
formal methods
computer systems
software development
high speed
source code
ban logic
databases
user interface
embedded systems
software tools
case study
expert systems
knowledge based systems
development process
distributed computing