Zum Inhalt springen

  1. Association for Computing Machinery-Digital Library

    Proceedings of the Fifth International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

    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.

    New York, NY: ACM, 2019

    Erschienen in: ACM Digital Library- ACM Other conferences

  3. Schwarick, Martin [VerfasserIn] ; Heiner, Monika [AkademischeR BetreuerIn]; Donatelli, Susanna [AkademischeR BetreuerIn]; Kemper, Peter [AkademischeR BetreuerIn]

    Symbolic on-the-fly analysis of stochastic Petri nets

    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.

    Cottbus: BTU Cottbus - Senftenberg, 2014

  4. Gamblin, Sebastien [VerfasserIn] ; Normandie [MitwirkendeR]; Bouzid, Meroua [MitwirkendeR]

    Représentation symbolique pour la logique épistémique dynamique probabiliste ; Symbolic representation for probabilistic dynamic epistemic logic

    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, 2022-12-12

  5. Beer, Adrian [VerfasserIn]; Heidinger, Stephan [VerfasserIn]; Kühne, Uwe [VerfasserIn]; Leitner-Fischer, Florian [VerfasserIn]; Leue, Stefan [VerfasserIn]

    Symbolic Causality Checking Using Bounded Model Checking

    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.

    Cham: Springer International Publishing, 2015

  6. Beer, Adrian [VerfasserIn]; Heidinger, Stephan [VerfasserIn]; Kühne, Uwe [VerfasserIn] ; Leitner-Fischer, Florian [Sonstige Person, Familie und Körperschaft]; Leue, Stefan [Sonstige Person, Familie und Körperschaft]

    Symbolic Causality Checking Using Bounded Model Checking

    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.

    Konstanz: Bibliothek der Universität Konstanz, 2015

  7. Beer, Adrian [VerfasserIn]; Heidinger, Stephan [VerfasserIn]; Kühne, Uwe [VerfasserIn]; Leitner-Fischer, Florian [VerfasserIn]; Leue, Stefan [VerfasserIn]

    Symbolic Causality Checking Using Bounded Model Checking

    Konferenzberichte
    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.

    KOPS - The Institutional Repository of the University of Konstanz, 2015

  8. Beer, Adrian [VerfasserIn]; Heidinger, Stephan [VerfasserIn]; Kühne, Uwe [VerfasserIn]; Leitner-Fischer, Florian [VerfasserIn]; Leue, Stefan [VerfasserIn]

    Symbolic Causality Checking Using Bounded Model Checking

    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.

    KOPS - The Institutional Repository of the University of Konstanz, 2015

  12. Cook, Byron [VerfasserIn]; Kröning, Daniel [VerfasserIn]; Sharygina, Natasha [VerfasserIn]

    Symbolic model checking for asynchronous Boolean programs

    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.

    ETH, Department of Computer Science, 2005

    Erschienen in: Technical Report / ETH Zurich, Department of Computer Science, 487

  14. Klein, Joachim [VerfasserIn]; Baier, Christel [VerfasserIn]; Chrszon, Philipp [VerfasserIn]; Daum, Marcus [VerfasserIn]; Dubslaff, Clemens [VerfasserIn]; Klüppelholz, Sascha [VerfasserIn]; Märcker, Steffen [VerfasserIn]; Müller, David [VerfasserIn]

    Advances in Symbolic Probabilistic Model Checking with PRISM

    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.

    Dresden: Technische Universität Dresden, 2021