Reactive embedded device driver synthesis using logical timed models.

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

Browse the full SIMULTECH paper archive.