CONRAD - a system for evoluating behavioural properties of embedded software
Mõtus, Leo
;
Vain, Jüri
Preprints 10th IFAC Workshop on Distributed Computer Control Systems, Semmering, Austria, Sept. 9-11, 1991
1991