Correct-by-construction code generation from hybrid automata specification.
| Autor: | Bresolin, D., Di Guglielmo, L., Geretti, L., Villa, T. |
|---|---|
| Zdroj: | 2011 7th International Wireless Communications & Mobile Computing Conference (IWCMC); 2011, p1660-1665, 6p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|