Reference : Offline Trace Checking of Quantitative Properties of Service-Based Applications
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/18035
Offline Trace Checking of Quantitative Properties of Service-Based Applications
English
Bianculli, Domenico mailto [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

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
soca2014.pdfAuthor postprint277.25 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.