Pages that link to "Item:Q5394043"
From MaRDI portal
The following pages link to Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394043):
Displayed 4 items.
- Computational procedures for a class of GI/D/\(k\) systems in discrete time (Q609684) (← links)
- Delay and partial system contents for a discrete-time G-D-c queue (Q1029555) (← links)
- Calculation of delay characteristics for multiserver queues with constant service times (Q1042119) (← links)
- Analytic study of multiserver buffers with two-state Markovian arrivals and constant service times of multiple slots (Q2483013) (← links)