CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması.

Çagatay Özdemir

Published in: UYMS (2014)

Keyphrases

model checking
computation tree logic
model checker
formal verification
timed automata
temporal logic
controller synthesis
neural network
multiscale
artificial neural networks
formal specification
computer vision
multimedia
multi agent systems
support vector machine
bayesian classifiers