Author of the publication

A Formal Model-Based Approach to Engineering Systems-of-Systems.

, , and . PRO-VE, volume 380 of IFIP Advances in Information and Communication Technology, page 53-62. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Formal Model-Based Approach to Engineering Systems-of-Systems., , and . PRO-VE, volume 380 of IFIP Advances in Information and Communication Technology, page 53-62. Springer, (2012)Interface specification for system-of-systems architectures., , , and . SoSE, page 567-572. IEEE, (2012)Features of Integrated Model-Based Co-modelling and Co-simulation Technology., , , , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 377-390. Springer, (2017)Model-based development of fault tolerant systems of systems., , , , and . SysCon, page 356-363. IEEE, (2013)SysML contracts for systems of systems., , , , and . SoSE, page 73-78. IEEE, (2014)Semi-formal and formal interface specification for system of systems architecture., , , and . SysCon, page 612-619. IEEE, (2013)RPL: a policy language for dynamic reconfiguration.. SERENE, page 73-78. ACM, (2008)A Model-Based Approach for Requirements Engineering for Systems of Systems., , , , , and . IEEE Syst. J., 9 (1): 252-262 (2015)Verifiable resilience in architectural reconfiguration.. University of Newcastle Upon Tyne, UK, (2012)British Library, EThOS.Fault modelling for systems of systems., , , and . ISADS, page 1-8. IEEE Computer Society, (2013)