- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
Ulmer Informatik-Berichte ; 94,14
- Keyword
-
X Window System 11
Graphische Benutzeroberfläche
- Event
-
Veröffentlichung
- (where)
-
Ulm
- (who)
-
Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
- (when)
-
2012
- Creator
- URN
-
urn:nbn:de:bsz:289-vts-81954
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:45 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.
Associated
- Schulte, Wolfram
- Vullinghs, Ton
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Time of origin
- 2012
Other Objects (12)
Linking organizational crises and reactive strategies via dimensions of legitimacy
Linking organizational crises and reactive strategies via dimensions of legitimacy
A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems
Testing cyclic software components of reactive systems on the basis of formal specifications
Rigid automorphisms of linking systems
Linking cap-and-trade systems
Linking cap-and-trade systems
Time for Reactive System Modeling
Time for Reactive System Modeling
Compositional synthesis of reactive systems
Model counting for reactive systems
Information systems as reactive systems : 15.02.1998 - 20.02.1998
Linking organizational crises and reactive strategies via dimensions of legitimacy
Linking organizational crises and reactive strategies via dimensions of legitimacy
A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems
Testing cyclic software components of reactive systems on the basis of formal specifications
Rigid automorphisms of linking systems
Linking cap-and-trade systems
Linking cap-and-trade systems
Time for Reactive System Modeling
Time for Reactive System Modeling
Compositional synthesis of reactive systems
Model counting for reactive systems
Information systems as reactive systems : 15.02.1998 - 20.02.1998
Linking organizational crises and reactive strategies via dimensions of legitimacy
Linking organizational crises and reactive strategies via dimensions of legitimacy
A Methodology For Pattern-Oriented Model-Driven Testing of Reactive Software Systems
Testing cyclic software components of reactive systems on the basis of formal specifications
Rigid automorphisms of linking systems
Linking cap-and-trade systems
Linking cap-and-trade systems
Time for Reactive System Modeling
Time for Reactive System Modeling
Compositional synthesis of reactive systems
Model counting for reactive systems