Hochschulschrift | Online-Publikation
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Kaiserslautern, Techn. Univ., Diss., 2005
- Classification
-
Informatik
- Keyword
-
ESTELLE
ESTELLE ; Formale Beschreibungstechnik ; Effizienter Algorithmus ; Effizienz ; Effizienzsteigerung ; Implementierung ; Implementation ; Ausdrucksfähig
- Creator
- URN
-
urn:nbn:de:hbz:386-kluedo-18256
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:47 PM CET
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
- Online-Publikation
Associated
Other Objects (12)
Ersatzteilmanagement : effiziente Ersatzteillogistik für Industrieunternehmen
Formale Fehlerbaumanalyse
Effiziente Laufzeitsysteme für Datenlager
Effiziente Erzeugung verschränkter Photonenpaare
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Effiziente Algorithmen für baumstrukturierte Graphklassen
Effiziente Lösung reeller polynomialer Gleichungssysteme
Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen
Methoden der effizienten Informationsübermittlung durch Bildschirmkarten
Modellierung und effiziente Implementierung eingebetteter Realzeitsysteme
A Formal Syntax and a Formal Semantics for Open Estelle
Instrumente des Marketing-Controlling : das Beispiel des auslandsorientierten Master-Studiengangs Electrical Communication Engineering
Ersatzteilmanagement : effiziente Ersatzteillogistik für Industrieunternehmen
Formale Fehlerbaumanalyse
Effiziente Laufzeitsysteme für Datenlager
Effiziente Erzeugung verschränkter Photonenpaare
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Effiziente Algorithmen für baumstrukturierte Graphklassen
Effiziente Lösung reeller polynomialer Gleichungssysteme
Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen
Methoden der effizienten Informationsübermittlung durch Bildschirmkarten
Modellierung und effiziente Implementierung eingebetteter Realzeitsysteme
A Formal Syntax and a Formal Semantics for Open Estelle
Instrumente des Marketing-Controlling : das Beispiel des auslandsorientierten Master-Studiengangs Electrical Communication Engineering
Ersatzteilmanagement : effiziente Ersatzteillogistik für Industrieunternehmen
Formale Fehlerbaumanalyse
Effiziente Laufzeitsysteme für Datenlager
Effiziente Erzeugung verschränkter Photonenpaare
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Effiziente Algorithmen für baumstrukturierte Graphklassen
Effiziente Lösung reeller polynomialer Gleichungssysteme
Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen
Methoden der effizienten Informationsübermittlung durch Bildschirmkarten
Modellierung und effiziente Implementierung eingebetteter Realzeitsysteme
A Formal Syntax and a Formal Semantics for Open Estelle