Afișare rezultate |
Afisarea articolelor 21-2(2) pentru cuvîntul-cheie "properties verification"
Performance evaluation of the evacuation system by Generalized Stochastic Petri nets |
Ţiţchiev (Camerzan) Inga |
Institute of Mathematics and Computer Science ASM |
Conference on Mathematical Foundations of Informatics |
2016. Chișinău, Republica Moldova. ISBN 978‐9975‐4237‐4‐8. |
Disponibil online 30 March, 2018. Descarcări-1. Vizualizări-704 |
Quantitative analysis of the evacuation system by means of Generalized Stochastic Petri nets |
Ţiţchiev (Camerzan) Inga |
Institute of Mathematics and Computer Science ASM |
Computer Science Journal of Moldova |
Nr. 2(71) / 2016 / ISSN 1561-4042 /ISSNe 2587-4330 |
Disponibil online 1 September, 2016. Descarcări-4. Vizualizări-834 |
21-2 of 2