Hochschulschrift
Computation sequence Chart : ein Konzept zur anforderungsbezogenen Testfallgenerierung
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
Ulm, Universität Ulm, Diss., 2011
- Keyword
-
Modellbasiertes Testen
Model Checking
- 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-78164
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:52 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
Associated
- Grosch, Vanessa
- Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
Time of origin
- 2012
Other Objects (12)
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Improving Live Sequence Chart to Automata Transformation for Verification
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
Associative Computation
Associative computation
Performance message sequence chart : Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
Probabilistic sequence models for image sequence processing and recognition
Probabilistic sequence models for image sequence processing and recognition
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Improving Live Sequence Chart to Automata Transformation for Verification
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
Associative Computation
Associative computation
Performance message sequence chart : Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
Probabilistic sequence models for image sequence processing and recognition
Probabilistic sequence models for image sequence processing and recognition
Timing Constraints in Message Sequence Chart Specifications
Syntactic Analysis of Message Sequence Chart Specifications
Synthesizing ROOM Models from Message Sequence Chart Specifications
Improving Live Sequence Chart to Automata Transformation for Verification
Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
High-performance approaches to the comprehensive computation and evaluation of signatures in bacterial sequence datasets
Associative Computation
Associative computation
Performance message sequence chart : Sprache zur Leistungsvorhersage mittels der Generierung eines Prototypen im Kontext des Protokollentwurfs mit SDL und MSC
Probabilistic sequence models for image sequence processing and recognition