Login / Signup
Pattern-based environment modeling for static verification of Linux kernel modules.
Ilja S. Zakharov
Vadim S. Mutilin
Alexey V. Khoroshilov
Published in:
Program. Comput. Softw. (2015)
Keyphrases
</>
linux kernel
mobile robot
virtual world
real time
software systems
neural network
open source
operating system
database
e learning
information technology
source code
building blocks
pattern matching
autonomous agents