%0 Journal Article %1 journals/tr/ZhuZGLZH19 %A Zhu, Xiaoran %A Zhang, Min %A Guo, Jian %A Li, Xin %A Zhu, Huibiao %A He, Jifeng %D 2019 %J IEEE Trans. Reliab. %K dblp %N 3 %P 1117-1133 %T Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. %U http://dblp.uni-trier.de/db/journals/tr/tr68.html#ZhuZGLZH19 %V 68

@article{journals/tr/ZhuZGLZH19, added-at = {2022-03-21T00:00:00.000+0100}, author = {Zhu, Xiaoran and Zhang, Min and Guo, Jian and Li, Xin and Zhu, Huibiao and He, Jifeng}, biburl = {https://www.bibsonomy.org/bibtex/288bb507daf92f81308bde05d3ca0616c/dblp}, ee = {https://doi.org/10.1109/TR.2018.2863744}, interhash = {f69c9e602a0f9d2a39a8ea6d1106ae83}, intrahash = {88bb507daf92f81308bde05d3ca0616c}, journal = {IEEE Trans. Reliab.}, keywords = {dblp}, number = 3, pages = {1117-1133}, timestamp = {2024-04-08T12:30:37.000+0200}, title = {Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.}, url = {http://dblp.uni-trier.de/db/journals/tr/tr68.html#ZhuZGLZH19}, volume = 68, year = 2019 }