Refinement between TBP and Java Implementation of Components

Technical report

Title:

Authors:

J. Kofroň, P. Jančík, P. Parízek

Publication:

Technical report no. 2011/5, Department of Distributed and Dependable Systems, Charles University

Year:

2011

Fulltext:

PDF

BibTeX:

@techreport{kofron_refinement_report_2011,
    title = {{Refinement between TBP and Java Implementation of Components}},
    author = {Kofroň, Jan and Jančík, Pavel and Parízek, Pavel},
    year = {2011},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {2011/5},
}