Combining Formal Methods and Testing: A Case Study on FreeRTOS
Submitted by KUL on Sun, 2012-01-29 21:31
| Title | Combining Formal Methods and Testing: A Case Study on FreeRTOS |
| Publication Type | Miscellaneous |
| Year of Publication | 2011 |
| Authors | Mühlberg, J. T., and L. Freitas |
| Notes | Invited talk at the 10th International Conference on Software QA and Testing on Embedded Systems (QA&Test 2011), Bilbao, Spain. |
»
- Login to post comments
- XML
- BibTex
- Google Scholar
