Requirement specification extraction and analysis based on propositional projection temporal logic
Article in Journal of Software (March 2023)
The most recent citing publications are shown below. View all 71 publications that cite this research output on Dimensions.
Article in Journal of Software (March 2023)
Article in Journal of Aerospace Information Systems (March 2023)
Preprint in arXiv (December 2022)