Paul C. Attie, Eduard Baranov, Simon Bliudze, Mohamad Jaber, Joseph Sifakis
A General Framework for Architecture Composability
SEFM, 2014.
@inproceedings{SEFM-2014-AttieBBJS,
author = "Paul C. Attie and Eduard Baranov and Simon Bliudze and Mohamad Jaber and Joseph Sifakis",
booktitle = "{Proceedings of the 12th International Conference on Software Engineering and Formal Methods}",
doi = "10.1007/978-3-319-10431-7_10",
isbn = "978-3-319-10430-0",
pages = "128--143",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A General Framework for Architecture Composability}",
volume = 8702,
year = 2014,
}
Tags: