Statistical Model Checking for Real-Time Database Management Systems: A Case Study.

Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu

Browse the full ETFA paper archive.