Qualitative und Quantitative Analysis of Timed SDL Specifications.
Falko BausePeter BuchholzPublished in: Kommunikation in Verteilten Systemen (1993)
Keyphrases
- quantitative analysis
- qualitative analysis
- qualitative evaluation
- petri net
- qualitative and quantitative analysis
- finite state machines
- qualitative reasoning
- high level
- delay insensitive
- qualitative and quantitative
- quantitative and qualitative
- formal specification
- cell segmentation
- collaborative learning
- probabilistic networks
- discrete event
- quantitative data
- quantitative measures
- qualitative information
- data sets