Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL.

Jin Cui Zhenhua Duan Cong Tian Nan Zhang

Published in: SOFL+MSVL (2015)

Keyphrases

operating system
feature selection
multiscale
objective function
special case
modeling language
modeling method