Towards Certifying Network Calculus.
Autor: | Mabille, Etienne, Boyer, Marc, Fejoz, Loïc, Merz, Stephan |
---|---|
Zdroj: | Interactive Theorem Proving (9783642396335); 2013, p484-489, 6p |
Databáze: | Complementary Index |
Externí odkaz: |
Autor: | Mabille, Etienne, Boyer, Marc, Fejoz, Loïc, Merz, Stephan |
---|---|
Zdroj: | Interactive Theorem Proving (9783642396335); 2013, p484-489, 6p |
Databáze: | Complementary Index |
Externí odkaz: |