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