The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000)

Artikel in diesem Heft

1. Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification
2. Technical Application of Hybrid Modeling Methods to specify Function Block Systems
3. Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
4. Approaches to the Formal Verification of Hybrid Systems
5. Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
6. Aktive Deadlockvermeidung in Ereignisdiskreten Systemen (Active Deadlock Avoidance for Discrete Event Systems)
7. Professor Gerhard Vossius 75 Jahre
8. The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000)
9. Gemeinsames Kolloquium der DFG-Schwerpunkprogramme Softwarespezifikation und KONDISK
10. 1^st IFAC-Conference on Mechatronic Systems
11. 10. Workshop des GMA-Fachausschusses 5.22 Fuzzy Control
12. Eine virtuelle Werkstatt für internationale Tele-Gruppenarbeit am Beispiel einer Fertigung von Drehteilen