CONRAD - a system for evoluating behavioural properties of embedded software
autor
Mõtus, Leo
Vain, Jüri
vastutusandmed
Mõtus, L., Vain, J
allikas
Preprints 10th IFAC Workshop on Distributed Computer Control Systems, Semmering, Austria, Sept. 9-11, 1991
ilmumisaasta
1991
märksõna
tarkvaraarendus
manussüsteemid
keel
inglise