Environment Model based Requirements Consistency Verification: An Example

Qianqian Liu, Xiaohong Chen, Zhi Jin. Environment Model based Requirements Consistency Verification: An Example. In Tao Yue, Mehdi Mirakhorli, editors, 29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021. pages 422-427, IEEE, 2021. [doi]

@inproceedings{LiuCJ21,
  title = {Environment Model based Requirements Consistency Verification: An Example},
  author = {Qianqian Liu and Xiaohong Chen and Zhi Jin},
  year = {2021},
  doi = {10.1109/REW53955.2021.00076},
  url = {https://doi.org/10.1109/REW53955.2021.00076},
  researchr = {https://researchr.org/publication/LiuCJ21},
  cites = {0},
  citedby = {0},
  pages = {422-427},
  booktitle = {29th IEEE International Requirements Engineering Conference Workshops, RE 2021 Workshops, Notre Dame, IN, USA, September 20-24, 2021},
  editor = {Tao Yue and Mehdi Mirakhorli},
  publisher = {IEEE},
  isbn = {978-1-6654-1898-0},
}