Echtzeitanforderungen bei der Integration von IEC 61131-3 Funktionsbausteinen und UML-RT Capsules.

Torsten Heverhagen Rudolf Tracht

Published in: PEARL (2001)

Keyphrases

control system
formal methods
interactive evolutionary computation
database design
information integration
software development
uml diagrams
multi agent systems
test cases
software systems
model driven
sequence diagrams
testing process