Suraq – A Controller Synthesis Tool Using Uninterpreted Functions.
| Autor: | Hofferek, Georg, Gupta, Ashutosh |
|---|---|
| Zdroj: | Hardware & Software: Verification & Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings; 2014, p68-74, 7p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|