Modeling and verification of reconfigurable discrete event control systems

Hochschulschrift

Object Details

• Location: Deutsche Nationalbibliothek Frankfurt am Main
• Extent: Online-Ressource
• Language: Englisch
• Notes: Saarbrücken, Universität des Saarlandes, Diss., 2015 und Xi'an, Xidian Univ., Diss., 2015

Classification and Topics

• Classification: Ingenieurwissenschaften und Maschinenbau
• Keyword: Modellierung ; Verifikation ; Petri-Netz

Contributors, Places and Time

• Event: Veröffentlichung
• (where): Saarbrücken
• (who): Saarländische Universitäts- und Landesbibliothek
• (when): 2015
• Creator: Zhang, Jiafeng
• Contributor: Frey, Georg

Further information

• URN: urn:nbn:de:bsz:291-scidok-63230
• Rights: Der Zugriff auf das Objekt ist unbeschränkt möglich.
• Last update: 25.03.2025, 1:48 PM CET