|
I don't find the file MU.pvs in my directory
pvs/lib/ (when trying to reproduce example in
chap 4 p54 State Transition Systems and SCR
Requirements Specifications)
JF
Molderez (jfm@cetic.be)
|