Zur Seitennavigation oder mit Tastenkombination für den
accesskey
-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den
accesskey
und Taste 2
S
tartseite
A
nmelden
Sommer 2024
Hilfe
Sitemap
Impressum
Datenschutz
node2
Studentisches Leben
Veranstaltungen
Einrichtungen
Räume und Gebäude
Personen
Forschung
Startseite
Forschung
Publikationen
Projekte
Promotionen/Habilitationen
Publikationen
Navigation ausblenden
Publikation: Teil einer Monographie/eines Konferenzbandes
Test derivation from timed automata
Grunddaten
Abstract
Autoren
Einrichtung
Grunddaten
Titel
Test derivation from timed automata
Veröffentlicht in
Model-based testing of reactive systems : advanced lectures ; [outcome of a research seminar held in Schloss Dagstuhl in January 2004]. - Berlin [u.a.] : Springer
Erscheinungsjahr
2005
Seiten (von – bis)
201 – 231
Jahr
2005
Publikationsform
Druckschrift
Publikationsart
Teil einer Monographie/eines Konferenzbandes
Sprache
Englisch
Letzte Änderung
20.05.2019 13:32:56
Bearbeitungsstatus
durch UB Rostock abschließend validiert
Dauerhafte URL
http://purl.uni-rostock.de/fodb/pub/36646
Links zu Katalogen
Abstract
A real-time system is a discrete system whose state changes occur in real-numbered time [AH97]. For testing real-time systems, specification languages must be extended with constructs for expressing real-time constraints, the implementation relation must be generalized to consider the temporal dimension, and the data structures and algorithms used to generate tests must be revised to operate on a potentially infinite set of states.
Autoren
Briones, Laura Brandán
Röhl, Mathias
Einrichtung
IEF/Bereich Informatik