From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications

Reference : From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications


	Document type :	Reports : External report
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/10672

Title :	From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
Language :	English
Author, co-author :	Bianculli, Domenico [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Krstic, Srđan []
	Ghezzi, Carlo []
	San Pietro, Pierluigi []
Publication date :	2013
Publisher :	Politecnico di Milano
Number of pages :	20
Report number :	2013.26
City :	Milano
Country :	Italy
Permalink :	http://hdl.handle.net/10993/10672

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.