[IEEE IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. - Banff, AB, Canada (Aug. 21-24, 2003)] IEEE International Conference on Industrial Informatics, 2003. INDIN 2003. Proceedings. - Object-oriented modular place/transition formalism for systematic modeling and validation of industrial automation systems

✍ Scribed by Vyatkin, V.; Hanisch, H.-M.; Pfeiffer, T.

• Book ID: 111974168
• Publisher: IEEE
• Year: 2003
• Tongue: English
• Weight: 795 KB
• Volume: 0
• Category: Article
• ISBN-13: 9780780382008
• DOI: 10.1109/indin.2003.1300273