Greg Kroah-Hartman
-
Behavioural Analysis of an I2C Linux Driver
FMICS '09 Proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems