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

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

Publikation: Beitrag in einer FachzeitschriftArtikel

Originalspracheenglisch
Seiten (von - bis)175-188
FachzeitschriftInternational journal of networked and distributed computing
Jahrgang2
Ausgabenummer3
DOIs
PublikationsstatusVeröffentlicht - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Experimental

Dieses zitieren