An Event-B Model for On-Demand Streaming

Petter Sandvik*, Kaisa Sere, Marina Walden

*Corresponding author for this work

Research output: Book/Journal/ReportCommissioned reportProfessional

Filter
Finished

Search results