Synthesising optimal timing delays for timed I/O automata.
| Autor: | Diciolla, Marco, Kim, Chang Hwan Peter, Kwiatkowska, Marta, Mereacre, Alexandru |
|---|---|
| Zdroj: | Proceedings of the 14th International Conference Embedded Software; 10/12/2014, p1-10, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|