Structured language for specification of quantitative requirements (2000)

by Dal Cin, M
Venue:In Proc. HASE 2000, Fifth IEEE Int. Symp. on High Assurance Systems Engineering