Design of Ensemble-Based Component Systems by Invariant Refinement

Proceedings paper

Title:

Authors:

J. Keznikl, T. Bureš, F. Plášil, I. Gerostathopoulos, P. Hnětynka, N. Hoch

Publication:

Proceedings of CBSE'13, Vancouver, Canada

Year:

2013

BibTeX:

@inproceedings{keznikl_design_2013,
    title = {{Design of Ensemble-Based Component Systems by Invariant Refinement}},
    author = {Keznikl, Jaroslav and Bures, Tomas and Plasil, Frantisek and Gerostathopoulos, Ilias and Hnetynka, Petr and Hoch, Nicklas},
    year = {2013},
    booktitle = {{Proceedings of CBSE'13, Vancouver, Canada}},
    publisher = {ACM},
    pages = {91--100},
}