Login
EN
[EN] English
[FR] Français
Login
EN
[EN] English
[FR] Français
Give us feedback
Search and explore
Search
Explore ORBilu
Open Science
Open Science
Open Access
Research Data Management
Definitions
OS Working group
Open Access Week 24
Statistics
Help
User Guide
FAQ
Publication list
Document types
Reporting
Training
Legal Information
Data protection
Legal notices
About
About ORBilu
Deposit Mandate
ORBilu team
Impact and visibility
About statistics
About metrics
OAI-PMH
Project history
Back
Home
Detailled Reference
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
Permalink
https://hdl.handle.net/10993/10672
Files (0)
Send to
Details
Statistics
Bibliography
Similar publications
Files
Full Text
No document available.
Send to
RIS
BibTex
APA
Chicago
Permalink
X
Linkedin
copy to clipboard
copied
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
81 (1 by Unilu)
Number of downloads
0 (0 by Unilu)
More statistics
Bibliography
Similar publications
Contact ORBilu
