CONRAD - a system for evoluating behavioural properties of embedded software

vastutusandmed
Mõtus, L., Vain, J
allikas
Preprints 10th IFAC Workshop on Distributed Computer Control Systems, Semmering, Austria, Sept. 9-11, 1991
ilmumisaasta
keel
inglise
Mõtus, L., Vain, J. CONRAD - a system for evoluating behavioural properties of embedded software // Preprints 10th IFAC Workshop on Distributed Computer Control Systems, Semmering, Austria, Sept. 9-11, 1991., 1991.