MODEL CHECKING IN PATTERN BASED CONTROL SYSTEMS DESIGN.
Vain, Jüri, Ernits, JuhanVolume:
35
Year:
2002
Language:
english
Journal:
IFAC Proceedings Volumes
DOI:
10.3182/20020721-6-es-1901.00945
File:
PDF, 400 KB
english, 2002