Power contracts: A formal way towards power-closure?!
| Autor: | Nitsche, Gregor, Gruttner, Kim, Nebel, Wolfgang |
|---|---|
| Zdroj: | 2013 23rd International Workshop on Power & Timing Modeling, Optimization & Simulation (PATMOS); 2013, p59-66, 8p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|