Compositional Schedulability Analysis of An Avionics System Using UPPAAL.

Abdeldjalil Boudjadar Jin Hyun Kim Kim Guldstrand Larsen Ulrik Nyman

Published in: ICAASE (2014)

Keyphrases

data analysis
databases
data sets
image analysis
pattern recognition
automatic analysis
quantitative analysis
model checking
source code
knowledge representation
expert systems
computational complexity
wide range
image segmentation
case study
website
e learning
information retrieval