Time Performance Formal Evaluation of Complex Systems.
| Autor: | de Santiago Júnior, Valdivino Alexandre, Tahar, Sofiène |
|---|---|
| Zdroj: | Formal Methods: Foundations & Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings; 2016, p162-177, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|