BibTeX record conf/indiaSE/KashiDBK16

• > Home > conf/indiaSE/KashiDBK16

@inproceedings{DBLP:conf/indiaSE/KashiDBK16,
  author       = {Rajanikanth N. Kashi and
                  Meenakshi D'Souza and
                  S. Kumar Baghel and
                  Nitin Kulkarni},
  editor       = {Santonu Sarkar and
                  Ashish Sureka and
                  Domenico Cotroneo and
                  Nishant Sinha and
                  Vibha Singhal Sinha and
                  Radhika Venkatasubramanyam and
                  Padmaja Joshi and
                  R. D. Naik and
                  Pushpendra Singh and
                  JayPrakash Lalchandani},
  title        = {Formal verification of avionics self adaptive software: {A} case study},
  booktitle    = {Proceedings of the 9th India Software Engineering Conference, Goa,
                  India, February 18-20, 2016},
  pages        = {163--169},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2856636.2856658},
  doi          = {10.1145/2856636.2856658},
  timestamp    = {Sun, 25 Oct 2020 22:54:36 +0100},
  biburl       = {https://dblp.org/rec/conf/indiaSE/KashiDBK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}