Temporal Logic Framework for Performance Analysis of Architectures of Systems.
| Autor: | Piel, Ariane, Bourrely, Jean, Lala, Stéphanie, Bertrand, Sylvain, Kervarc, Romain |
|---|---|
| Zdroj: | NASA Formal Methods (9783319406473); 2016, p3-18, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|