Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.
Xiaoran ZhuMin ZhangJian GuoXin LiHuibiao ZhuJifeng HePublished in: IEEE Trans. Reliab. (2019)
Keyphrases
- formal specification
- operating system
- kernel function
- kernel methods
- open source
- unified model
- formal methods
- convolution kernel
- feature space
- multi class
- expert systems
- model checking
- support vector
- formal model
- virtual machine
- formal representation
- database manager
- mutual subspace method
- windows nt
- perceptron learning
- input space
- kernel machines
- kernel matrix
- databases
- data processing
- feature extraction
- machine learning