Formal approach to QoS specification and verification.
Jan de MeerAxel RennochJörg BurmeisterPublished in: CASCON (1993)
Keyphrases
- formal methods
- formal specification
- model checking
- formal verification
- quality of service
- formal analysis
- concurrent systems
- reactive systems
- specification languages
- protocol specification
- asynchronous circuits
- formal language
- formal languages
- verification method
- admission control
- network conditions
- web service selection
- qos routing
- operational semantics
- service selection
- real time
- web services
- software engineering
- qos requirements
- formal model
- temporal logic
- service differentiation
- colored petri nets
- ad hoc networks
- resource management
- multimedia communication
- specification language
- resource utilization
- traffic engineering
- end to end
- face verification
- requirements specification
- high level
- neural network