Table of Contents
ISRN Software Engineering
Volume 2013 (2013), Article ID 457837, 10 pages
http://dx.doi.org/10.1155/2013/457837
Research Article

Formal Development of System of Systems

1Department of Information Technologies, Åbo Akademi University, Joukahaisenkatu 3-5A, 20520 Turku, Finland
2TUCS–Turku Centre for Computer Science, Joukahaisenkatu 3-5A, 20520 Turku, Finland

Received 30 June 2013; Accepted 28 July 2013

Academic Editors: P. Ciancarini and X. He

Copyright © 2013 Maryam Kamali et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

How to Cite this Article

Maryam Kamali, Mats Neovius, Luigia Petre, and Petter Sandvik, “Formal Development of System of Systems,” ISRN Software Engineering, vol. 2013, Article ID 457837, 10 pages, 2013. doi:10.1155/2013/457837