Verifying the long-run behavior of probabilistic system models in the presence of uncertainty
- Yamilet R.Serrano Llerena
- , Marcel Böhme
- , Marc Brünink
- , Guoxin Su
- , David D. Rosenblum
Producción científica: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
8
Citas
(Scopus)