Modeling and verification of reconfigurable discrete event control systems

Hochschulschrift

Angaben zum Objekt

• Standort: Deutsche Nationalbibliothek Frankfurt am Main
• Umfang: Online-Ressource
• Sprache: Englisch
• Anmerkungen: Saarbrücken, Universität des Saarlandes, Diss., 2015 und Xi'an, Xidian Univ., Diss., 2015

Klassifikation und Themen

• Klassifikation: Ingenieurwissenschaften und Maschinenbau
• Schlagwort: Modellierung ; Verifikation ; Petri-Netz

Beteiligte, Orts- und Zeitangaben

• Ereignis: Veröffentlichung
• (wo): Saarbrücken
• (wer): Saarländische Universitäts- und Landesbibliothek
• (wann): 2015
• Urheber: Zhang, Jiafeng
• Beteiligte Personen und Organisationen: Frey, Georg

Weitere Informationen

• URN: urn:nbn:de:bsz:291-scidok-63230
• Rechteinformation: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Letzte Aktualisierung: 25.03.2025, 13:48 MEZ