"Environment Model based Requirements Consistency Verification: An Example."

Qianqian Liu, Xiaohong Chen, Zhi Jin (2021)

Details and statistics

DOI: 10.1109/REW53955.2021.00076

access: closed

type: Conference or Workshop Paper

metadata version: 2021-10-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics