Reference : From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
Reports : External report
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/10672
From SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
English
Bianculli, Domenico mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Krstic, Srđan []
Ghezzi, Carlo []
San Pietro, Pierluigi []
2013
Politecnico di Milano
20
2013.26
Milano
Italy
http://hdl.handle.net/10993/10672

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.