Modeling and verification for different types of system of systems using PRISM.

Dongwon Seo, Donghwan Shin, Young Min Baek, Jiyoung Song, Wonkyung Yun, Junho Kim, Eunkyoung Jee, Doo-Hwan Bae

Browse the full ICSE paper archive.