Schedulability Analysis of Timed CSP Models Using the PAT Model Checker.

Oguzcan Oguz Jan F. Broenink Angelika Mader

Published in: CPA (2012)

Keyphrases

data analysis
model checker
relational databases
general purpose
model checking
formal methods
formal verification