@dblp

SParK: Safety Partition Kernel for Integrated Real-Time Systems.

, , , , and . From Active Data Management to Event-Based Systems and More, volume 6462 of Lecture Notes in Computer Science, page 159-174. Springer, (2010)

Links and resources

Tags