DOPROPC: a domain property pattern system helping to specify control system requirements (S).

Fan Wu, Hehua Zhang, Ming Gu

Browse the full SEKE paper archive.