Precise specification matching for adaptive reuse in embedded systems
| Autor: | Guo, Hai-Feng, Liu, Miao, Roop, Partha S., Ramakrishnan, C.R., Ramakrishnan, I.V. |
|---|---|
| Zdroj: | In Journal of Applied Logic 2007 5(2):333-355 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect