Startseite > Publikationen > Publikationen

Publikationen

Sudhakar, Krishna;Zhao, Yuhong;Rammig, Franz-Josef:

Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System.

Concurrency and Computation: Practice and Experience , 2015

Bibtex

@article{hniid=9287,
author = {Sudhakar, Krishna and Zhao, Yuhong and Rammig, Franz-Josef},
title = {Efficient Integration of Online Model Checking into a Small-Footprint Real-Time Operating System},
journal = {Concurrency and Computation: Practice and Experience},
year = {2015},
}

BibTeX in die Zwischenablage kopieren

Permalink

https://www.hni.uni-paderborn.de/pub/9287