![]() |
Volumn 1779, Issue , 2000, Pages 449-456
|
Testing and simulating production control systems using the Fujaba Environment
|
Author keywords
[No Author keywords available]
|
Indexed keywords
APPLICATION PROGRAMS;
CONTROL SYSTEMS;
FLOW GRAPHS;
FORMAL METHODS;
GRAPHIC METHODS;
PRODUCTION CONTROL;
SEMANTICS;
SPECIFICATIONS;
DYNAMIC BEHAVIOURS;
FORMAL SEMANTICS;
JAVA VIRTUAL MACHINES;
SOFTWARE SYSTEMS;
TOOL DEMONSTRATION;
UML ACTIVITY DIAGRAMS;
UML CLASS DIAGRAMS;
UML COLLABORATIONS;
JAVA PROGRAMMING LANGUAGE;
|
EID: 84974712283
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: 10.1007/3-540-45104-8_37 Document Type: Conference Paper |
Times cited : (1)
|
References (8)
|