Device driver synthesis for embedded systems.

Julien Tanguy, Jean-Luc Bchennec, Mikal Briday, Sebastien Dube, Olivier H. Roux

Browse the full ETFA paper archive.