On Design-time Modelling and Verification of Safety-critical Component-based Systems. Kajtazovic, N., Preschern, C., Höller, A., & Kreiner, C. IJNDC, 2(3):175–188, 2014.
On Design-time Modelling and Verification of Safety-critical Component-based Systems [link]Paper  doi  bibtex   
@article{DBLP:journals/ijndc/KajtazovicPHK14,
  author    = {Nermin Kajtazovic and
               Christopher Preschern and
               Andrea H{\"{o}}ller and
               Christian Kreiner},
  title     = {On Design-time Modelling and Verification of Safety-critical Component-based
               Systems},
  journal   = {{IJNDC}},
  volume    = {2},
  number    = {3},
  pages     = {175--188},
  year      = {2014},
  url       = {https://doi.org/10.2991/ijndc.2014.2.3.7},
  doi       = {10.2991/ijndc.2014.2.3.7},
  timestamp = {Tue, 16 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ijndc/KajtazovicPHK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0