Static analysis by abstract interpretation of functional properties of device drivers in TinyOS
| Autor: | Ouadjaout, Abdelraouf, Miné, Antoine, Lasla, Noureddine, Badache, Nadjib |
|---|---|
| Zdroj: | In The Journal of Systems & Software October 2016 120:114-132 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect