Hochschulschrift
The ASM workbench - a tool environment for computer aided analysis and validation of abstract state machine models
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783931466824
3931466825
- Dimensions
-
25 cm
- Extent
-
IV, 212 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Zugl.: Paderborn, Univ., Diss., 2000
- Bibliographic citation
-
HNI-Verlagsschriftenreihe / Heinz Nixdorf Institut ; Bd. 83
- Event
-
Veröffentlichung
- (where)
-
Paderborn
- (who)
-
HNI
- (when)
-
2001
- Creator
-
Del Castillo, Giuseppe
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:51 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Hochschulschrift
Associated
- Del Castillo, Giuseppe
- HNI
Time of origin
- 2001
Other Objects (12)
Anpassung der Lichtverteilung des Abblendlichtes an den vertikalen Straßenverlauf
Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe
Selbstoptimierung verteilter mechatronischer Systeme auf Basis paretooptimaler Systemkonfigurationen
Verfahren zur Konzipierung imitationsgeschützter Produkte und Produktionssysteme
Communication in parallel systems : models, algorithms and implementations
Model consistency management for systems engineering
Fallbasiertes Störungsmanagement in flexiblen Fertigungssystemen
Systematik für die integrative Konzipierung der Montage auf Basis der Prinziplösung mechatronischer Systeme
Anwendung mengenorientierter numerischer Methoden zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen
Ein System von Software-Entwurfsmustern für die Propagation von Ereignissen in Werkzeugen zur kooperativen Fabrikmodellierung
Architekturkonzeption für Fertigungsleitsysteme der flexibel automatisierten Fertigung
Einbettung selbstorganisierender Karten in autonome Miniroboter
Anpassung der Lichtverteilung des Abblendlichtes an den vertikalen Straßenverlauf
Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe
Selbstoptimierung verteilter mechatronischer Systeme auf Basis paretooptimaler Systemkonfigurationen
Verfahren zur Konzipierung imitationsgeschützter Produkte und Produktionssysteme
Communication in parallel systems : models, algorithms and implementations
Model consistency management for systems engineering
Fallbasiertes Störungsmanagement in flexiblen Fertigungssystemen
Systematik für die integrative Konzipierung der Montage auf Basis der Prinziplösung mechatronischer Systeme
Anwendung mengenorientierter numerischer Methoden zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen
Ein System von Software-Entwurfsmustern für die Propagation von Ereignissen in Werkzeugen zur kooperativen Fabrikmodellierung
Architekturkonzeption für Fertigungsleitsysteme der flexibel automatisierten Fertigung
Einbettung selbstorganisierender Karten in autonome Miniroboter
Anpassung der Lichtverteilung des Abblendlichtes an den vertikalen Straßenverlauf
Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe
Selbstoptimierung verteilter mechatronischer Systeme auf Basis paretooptimaler Systemkonfigurationen
Verfahren zur Konzipierung imitationsgeschützter Produkte und Produktionssysteme
Communication in parallel systems : models, algorithms and implementations
Model consistency management for systems engineering
Fallbasiertes Störungsmanagement in flexiblen Fertigungssystemen
Systematik für die integrative Konzipierung der Montage auf Basis der Prinziplösung mechatronischer Systeme
Anwendung mengenorientierter numerischer Methoden zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen
Ein System von Software-Entwurfsmustern für die Propagation von Ereignissen in Werkzeugen zur kooperativen Fabrikmodellierung
Architekturkonzeption für Fertigungsleitsysteme der flexibel automatisierten Fertigung