Contract-based modelling and analysis technologies for Systems-of-Systems

Steve Riddle. Contract-based modelling and analysis technologies for Systems-of-Systems. In 7th International Conference on System of Systems Engineering, SoSE 2012, Genova, Italy, July 16-19, 2012. pages 469-470, IEEE, 2012. [doi]

Abstract

Abstract is missing.