No full text
External report (Reports)
From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
Bianculli, Domenico; Krstic, Srđan; Ghezzi, Carlo et al.
2013
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Bianculli, Domenico  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Krstic, Srđan
Ghezzi, Carlo
San Pietro, Pierluigi
Language :
English
Title :
From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
Publication date :
2013
Publisher :
Politecnico di Milano, Milano, Italy
Report number :
2013.26
Number of pages :
20
Available on ORBilu :
since 12 November 2013

Statistics


Number of views
78 (1 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu