Monografie
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
- Sprache
-
Deutsch
- Anmerkungen
-
Kaiserslautern, Techn. Univ., Diss., 2005
- Identifier
-
97416481X
Thema
ESTELLE ; ESTELLE ; Formale Beschreibungstechnik ; Effizienter Algorithmus ; Effizienz ; Effizienzsteigerung ; Implementierung ; Implementation ; Ausdrucksfähig; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:58 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Advances in equational theorem proving : architecture, algorithms, and redundancy avoidance
Computing and visualizing concept lattices
Produktionsplanung in der Prozessindustrie : Modelle, effiziente Algorithmen und Umsetzung
Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen
Interaktive Montageplanung mit Kollisionserkennung
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle
Effiziente Algorithmen für baumstrukturierte Graphklassen
Efficient algorithms for on-line scheduling and load distribution in parallel systems
Estelle Russel ; Vol. 2
Estelle Russel ; Vol. 1
Berechnung von Galoisgruppen über Zahl- und Funktionenkörpern
Advances in equational theorem proving : architecture, algorithms, and redundancy avoidance
Computing and visualizing concept lattices
Produktionsplanung in der Prozessindustrie : Modelle, effiziente Algorithmen und Umsetzung
Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen
Interaktive Montageplanung mit Kollisionserkennung
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle
Effiziente Algorithmen für baumstrukturierte Graphklassen
Efficient algorithms for on-line scheduling and load distribution in parallel systems
Estelle Russel ; Vol. 2
Estelle Russel ; Vol. 1
Berechnung von Galoisgruppen über Zahl- und Funktionenkörpern
Advances in equational theorem proving : architecture, algorithms, and redundancy avoidance
Computing and visualizing concept lattices
Produktionsplanung in der Prozessindustrie : Modelle, effiziente Algorithmen und Umsetzung
Effizientes Verifizieren co-NP-vollständiger Probleme am Beispiel zufälliger 4-SAT-Formeln und uniformer Hypergraphen
Interaktive Montageplanung mit Kollisionserkennung
Generierung effizienter Protokoll-Implementierungen aus Estelle-Spezifikationen
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle
Effiziente Algorithmen für baumstrukturierte Graphklassen
Efficient algorithms for on-line scheduling and load distribution in parallel systems
Estelle Russel ; Vol. 2
Estelle Russel ; Vol. 1