Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Statechart
- Hochschulschrift 18 [ausschließen]
- Formale Methode 5 [ausschließen]
- Formale Semantik 5 [ausschließen]
- UML 5 [ausschließen]
- Eingebettetes System 4 [ausschließen]
- Fehlerbaumanalyse 3 [ausschließen]
- Formale Beschreibungstechnik 3 [ausschließen]
- Model Checking 3 [ausschließen]
- Modelltransformation 3 [ausschließen]
- Petri-Netz 3 [ausschließen]
- Sicherheitsanalyse 3 [ausschließen]
- Sicherheitskritisches System 3 [ausschließen]
- Softwareentwicklung 3 [ausschließen]
- Softwarespezifikation 3 [ausschließen]
- Temporale Logik 3 [ausschließen]
- Algebraische Spezifikation 2 [ausschließen]
- Dialogsystem 2 [ausschließen]
- Echtzeitsystem 2 [ausschließen]
- Entwurf 2 [ausschließen]
- Formularsammlung 2 [ausschließen]
- Graphersetzungssystem 2 [ausschließen]
- Kommunikationsprotokoll 2 [ausschließen]
- Korrektheit 2 [ausschließen]
- Message sequence chart 2 [ausschließen]
- Objektorientierte Programmierung 2 [ausschließen]
- Objektorientierung 2 [ausschließen]
- Operationale Semantik 2 [ausschließen]
- Scheduling 2 [ausschließen]
- Software Engineering 2 [ausschließen]
-
1
Ressourcenadaptive Anwendungen für die operative Prozessleittechnik
Veröffentlicht 2017Inhaltsverzeichnis
Abschlussarbeit Buch -
2
Reactive Internet Programming State Chart XML in action
Veröffentlicht 2016FHI01
UBR01
UBW01
UBY01
URL des Erstveröffentlichers
Elektronisch E-Book -
3
Analysis and correctness of algebraic graph and model tansformations
Veröffentlicht 2011Abschlussarbeit Buch -
4
-
5
Modeling reactive systems with statecharts the STATEMATE approach
Veröffentlicht 1998Inhaltsverzeichnis
Buch -
6
-
7
-
8
Consistency management of object-oriented behavioral models
Veröffentlicht 2004Inhaltsverzeichnis
Abschlussarbeit Buch -
9
-
10
-
11
Semantics of form-orientated analysis
Veröffentlicht 2002lizenzfrei
Abschlussarbeit Elektronisch E-Book -
12
-
13
-
14
Generierung domänenspezifischer Transformationssprachen
Veröffentlicht 2012Inhaltsverzeichnis
Abschlussarbeit Buch -
15
Einsatz von Wissen über Zustandsverhalten für die wissensbasierte Konfigurierung technischer Systeme
Veröffentlicht 2008Inhaltstext
Inhaltsverzeichnis
Abschlussarbeit Buch -
16
-
17
-
18
Developing concepts and methods for module and integration tests for models of reactive systems
Veröffentlicht 2000Volltext
Volltext
Elektronisch E-Book -
19
-
20