Резултати
eNauka >
Rezultati >
Formal modeling and analysis of resource usage and sharing in distributed software systems