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

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

*Korrespondierende/r Autor/-in für diese Arbeit

Publikation: Beitrag in einer FachzeitschriftArtikelBegutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „On Design-time Modelling and Verification of Safety-critical Component-based Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science