Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). Barnat, J., Bauch, P., Benes, N., Brim, L., Beran, J., & Kratochvila, T. CoRR, 2015.
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). [link]Link  Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). [link]Paper  bibtex   
@article{journals/corr/BarnatBBBBK15,
  author = {Barnat, Jiri and Bauch, Petr and Benes, Nikola and Brim, Lubos and Beran, Jan and Kratochvila, Tomas},
  ee = {http://arxiv.org/abs/1510.02669},
  interhash = {ff24901da2fb26d2b4484956baf7b238},
  intrahash = {9b2369489f0bd03fa71d83d252dfbff3},
  journal = {CoRR},
  title = {Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1510.html#BarnatBBBBK15},
  volume = {abs/1510.02669},
  year = 2015
}

Downloads: 0