> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp: E-Book; Hochschulschrift Titel: Automated composition of timed services in medical applications Weitere Titel: Automatisierte Komposition zeitbehafteter Services in medizinischen Anwendungen Beteiligte: Stöhr, Daniel [Verfasser]; Glesner, Sabine [Akademischer Betreuer]; Weske, Mathias [Akademischer Betreuer]; Nestmann, Uwe [Akademischer Betreuer] Erschienen: Berlin: Technische Universität Berlin, 2014 Umfang: Online-Ressource Sprache: Englisch Identifikator: Schlagwörter: automated service composition ; timed automata ; TCTL ; controller synthesis ; temporal planning ; Automatisierte Service-Komposition ; Zeitbehaftete Automaten ; Controller-Synthese ; Temporales Planen ; Hochschulschrift Entstehung: Hochschulschrift: Berlin, Technische Universität Berlin, Diss., 2014 Anmerkungen: Zugangsstatus: Freier Zugang