Building Power Consumption Models from Executable Timed I/O Automata Specifications.
| Autor: | Barbot, Benoît, Kwiatkowska, Marta, Mereacre, Alexandru, Paoletti, Nicola |
|---|---|
| Zdroj: | Proceedings of the 19th International Conference Hybrid Systems Computation & Control; 2016, p195-204, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|