| 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 |
