Hochschulschrift
Automated composition of timed services in medical applications
- Weitere Titel
-
Automatisierte Komposition zeitbehafteter Services in medizinischen Anwendungen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
Berlin, Technische Universität Berlin, Diss., 2014
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Berlin
- (wer)
-
Technische Universität Berlin
- (wann)
-
2014
- Urheber
- Beteiligte Personen und Organisationen
-
Glesner, Sabine
Weske, Mathias
Nestmann, Uwe
- URN
-
urn:nbn:de:kobv:83-opus4-51172
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:33 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Stöhr, Daniel
- Glesner, Sabine
- Weske, Mathias
- Nestmann, Uwe
- Technische Universität Berlin
Entstanden
- 2014
Ähnliche Objekte (12)
Automated repair for timed systems
Automated repair for timed systems
Automated composition of adaptive pervasive applications in heterogeneous environments
Inferring thermospheric composition from ionogram profiles: a calibration with the TIMED spacecraft
Inferring thermospheric composition from ionogram profiles: A calibration with the TIMED spacecraft
Timed second language writing performance: effects of perceived teacher vs perceived automated feedback
Automated Medical Image Processing Using Efficient Shape Descriptors: Principles and Applications
Concurrent timed port automata
Suspiciously timed trade disputes
An Algebraic Approach to Timed Petri Nets with Applications to Communication Networks
A framework for automated HW/SW co-verification of SystemC designs using timed automata
Timed Automata Relaxation for Reachability
Automated repair for timed systems
Automated repair for timed systems
Automated composition of adaptive pervasive applications in heterogeneous environments
Inferring thermospheric composition from ionogram profiles: a calibration with the TIMED spacecraft
Inferring thermospheric composition from ionogram profiles: A calibration with the TIMED spacecraft
Timed second language writing performance: effects of perceived teacher vs perceived automated feedback
Automated Medical Image Processing Using Efficient Shape Descriptors: Principles and Applications
Concurrent timed port automata
Suspiciously timed trade disputes
An Algebraic Approach to Timed Petri Nets with Applications to Communication Networks
A framework for automated HW/SW co-verification of SystemC designs using timed automata
Timed Automata Relaxation for Reachability
Automated repair for timed systems
Automated repair for timed systems
Automated composition of adaptive pervasive applications in heterogeneous environments
Inferring thermospheric composition from ionogram profiles: a calibration with the TIMED spacecraft
Inferring thermospheric composition from ionogram profiles: A calibration with the TIMED spacecraft
Timed second language writing performance: effects of perceived teacher vs perceived automated feedback
Automated Medical Image Processing Using Efficient Shape Descriptors: Principles and Applications
Concurrent timed port automata
Suspiciously timed trade disputes
An Algebraic Approach to Timed Petri Nets with Applications to Communication Networks
A framework for automated HW/SW co-verification of SystemC designs using timed automata