Danièle Dadolle's publications with EHCI [bibtex|json]
2016
International refereed conference papers
-
Using formal models to cross check an implementation
In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing System EICS 2016.
Oliveira, Dupuy-Chessa, Calvary, Dadolle