| Offline Trace Checking of Quantitative Properties of Service-Based Applications |
| English |
| Bianculli, Domenico [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Ghezzi, Carlo [] |
| Krstić, Srđan [] |
| San Pietro, Pierluigi [] |
| Nov-2014 |
| Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014) |
| Yes |
| No |
| International |
| 7h International Conference on Service Oriented Computing and Application (SOCA 2014) |
| 17-19 November 2014 |
| Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab) |
| http://hdl.handle.net/10993/18035 |
| http://arxiv.org/abs/1409.4653 |