Formal Development of System of Systems

Maryam Kamali, Mats Neovius, Luigia Petre, Petter Sandvik

Research output: Contribution to journal › Article › Scientific › peer-review

Access to Document

@article{ec382fa55d6444cdaa486bf4a3df47de,

title = "Formal Development of System of Systems",

author = "Maryam Kamali and Mats Neovius and Luigia Petre and Petter Sandvik",

year = "2013",

doi = "10.1155/2013/457837",

language = "Odefinierat/ok{\"a}nt",

volume = "2013",

pages = "–",

journal = "ISRN Software Engineering",

issn = "2090-7672",

}