On Design-time Modelling and Verification of Safety-critical Component-based Systems

Nermin Kajtazovic, Christopher Preschern, Andrea Höller, Christian Josef Kreiner

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)175-188
JournalInternational journal of networked and distributed computing
Volume2
Issue number3
DOIs
Publication statusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Cite this