Real-time behaviour verification, animation and monitoring starting from DCCS specification
author
statement of authorship
L.Mõtus and T.Naks
source
DCCS 2000 : 16th IFAC Workshop on Distributed Computer Control Systems : Sydney, Australia 29 Nov - 1 Dec 2000 : pre-prints
location of publication
[Sydny]
year of publication
pages
p. 85-92
notes
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.