prindi

Real-time behaviour verification, animation and monitoring starting from DCCS specification

autor
Mõtus, Leo
Näks, Tõnu
vastutusandmed
L.Mõtus and T.Naks
allikas
DCCS 2000 : 16th IFAC Workshop on Distributed Computer Control Systems : Sydney, Australia 29 Nov - 1 Dec 2000 : pre-prints
ilmumiskoht
[Sydny]
ilmumisaasta
2000
leheküljed
p. 85-92
märkused
Bibliogr. p. 92
Mõtus, L., Näks, T. Real-time behaviour verification, animation and monitoring starting from DCCS specification // DCCS 2000 : 16th IFAC Workshop on Distributed Computer Control Systems : Sydney, Australia 29 Nov - 1 Dec 2000 : pre-prints. [Sydny], 2000. p. 85-92.