Skip to content

Verification of device drivers and intelligent controllers: a case study.

David Monniaux

Year2007
ProceedingsEMSOFT

Browse the full EMSOFT paper archive.