On composing and proving the correctness of reactive behavior.
| Autor: | Harel, David, Kantor, Amir, Katz, Guy, Marron, Assaf, Mizrahi, Lior, Weiss, Gera |
|---|---|
| Zdroj: | 2013 Proceedings of the International Conference on Embedded Software (EMSOFT); 2013, p1-10, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|