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

Krishna Sudhakar, Yuhong Zhao, Franz-Josef Rammig

Browse the full ISORC paper archive.