Poster: Formal QoS Compatibility Verification for Components on Time-Sensitive Networking.

Published in: VNC (2018)

Keyphrases

quality of service
formal methods
distributed computing
model checking
qos requirements
formal analysis
resource management
real time
network conditions
verification method
formal verification
resource utilization
software components
building blocks
peer to peer
response time
neural network