Towards an executable semantics of automobile RTOS standard and its application to conformance verification
The automobile Real-Time Operating System (RTOS) is hard to design and i...
Rust is a new and promising high-level system programming language. It p...
Xiaoran Zhuis this you? claim profile