C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Accelerated verification of stability of simultaneous service multiserver systems.
Alexander S. Rumyantsev
Evsey Morozov
Published in:
ICUMT (2015)
Keyphrases
</>
management system
expert systems
information services
service providers
building blocks
end users
distributed systems
complex systems
retrieval systems
data sets
computing systems
heavy traffic
enterprise systems
queueing systems
service systems
service requirements
automated verification
protocol specification