[MAC - 10] - Discrete Systems II

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


<< back