Zum Inhalt springen

  2. Zhan, Bohua [VerfasserIn]

    Learning One-Clock Timed Automata

    Videos
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

    Erschienen in: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)

  4. Kempf, Jean-Francois [VerfasserIn] ; Grenoble [MitwirkendeR]; Maler, Oded [MitwirkendeR]; Bozga, Marius [MitwirkendeR]

    On computer-aided design-space exploration for multi-cores ; Exploration de l'espace de design assistée par ordinateur pour les systèmes multi-coeurs

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-10-29

  7. Swaminathan, Mani [VerfasserIn] ; Fränzle, Martin [AkademischeR BetreuerIn]; Katoen, Joost-Pieter [Sonstige Person, Familie und Körperschaft]

    Quantitative and structural analysis of real-time and probabilistic systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Oldenburg, 2016

  8. Puppis, Gabriele [VerfasserIn]

    Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

    Erschienen in: Lecture notes in computer science ; 5955

  9. Hartmanns, Arnd [VerfasserIn]

    On the analysis of stochastic timed systems - [Online-Ausg.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Saarbrücken: universaar, 2015

    Erschienen in: Dissertationen aus der Naturwissenschaftlich-Technischen Fakultät der Universität des Saarlandes

  19. Venkatraman, S.; Muthusamy, P.; Balusa, Bhanuchander; Jayasankar, T.; Kavithaa, G.; Sekar, K. R.; Bharatiraja, C.

    Time dependent anomaly detection system for smart environment using probabilistic timed automaton

    Aufsätze
    Online ansehen
    Schließen

    Zugang

    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer Science and Business Media LLC, 2021

    Erschienen in: Journal of Ambient Intelligence and Humanized Computing

  20. Afanasyev, Alexander; Voit, Nikolay; Kirillov, Sergey

    Advances in Computational Intelligence: Timed Automaton RVT-Grammar for Workflow Translating

    Aufsätze
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Springer International Publishing, 2018

    Erschienen in: Advances in Computational Intelligence