Login / Signup

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

Dongwon SeoDonghwan ShinYoung Min BaekJiyoung SongWonkyung YunJunho KimEunkyoung JeeDoo-Hwan Bae
Published in: SESoS@ICSE (2016)
Keyphrases
  • expert systems
  • building blocks
  • learning systems
  • artificial intelligence
  • information systems
  • control system
  • management system
  • distributed systems