IBN
  



  














    
  


    
Закрыть

Afișare rezultate

SM ISO690:2012
Afisarea articolelor 1-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-649
-----------------------------------------------------------------------------------------------------------------------------------
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-768
-----------------------------------------------------------------------------------------------------------------------------------
 
 

1-2 of 2