0348 |
Petri Nets and OO for the Modular Analysis of an Aircraft
Landing System |
0831 |
Model Of Mechanism Behavior For Verification Of Plc Programs |
1199 |
Automatic Generation of Productive System Control |
1819 |
Distributed Object Technologies in Manufacturing Execution
Systems |
1969 |
Towards a Modeling Discipline for Building and Residence Automation |