Treffer 1 - 20 von 22 für Suche 'Abraham, Erika', Suchdauer: 0,31s Treffer weiter einschränken
  1. 1
    von Ábrahám, Erika
    Veröffentlicht 2006
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Acceleration Techniques for Symbolic Simulation of Railway Timetables
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Freight Train Scheduling in Railway Systems
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Symbolic Simulation of Railway Timetables Under Consideration of Stochastic Dependencies
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  5. 5
    von Ábrahám, Erika
    Veröffentlicht 2005
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  6. 6
    von Ábrahám, Erika
    Veröffentlicht 2006
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Integrated formal methods : 12th international conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings
    Veröffentlicht 2016
    Inhaltsverzeichnis
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Quantitative evaluation of systems : 19th International Conference, QEST 2022, Warsaw, Poland, September 12-16, 2022, proceedings
    Veröffentlicht 2022
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Probabilistic Hyperproperties with Nondeterminism
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  10. 10
    HyperProb: A Model Checker for Probabilistic Hyperproperties
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Maximizing Reachability Probabilities in Rectangular Automata with Random Clocks
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  12. 12
    A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  13. 13
    HyperPCTL Model Checking by Probabilistic Decomposition
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Fundamentals of software engineering : 10th international conference, FSEN 2023, Tehran, Iran, May 4-5, 2023 : revised selected papers
    Veröffentlicht 2023
    Cover
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Tools and algorithms for the construction and analysis of systems : 20th international conference, TACAS 2014 [, took place during April 7-11 2014], held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 ; proceedings
    Veröffentlicht 2014
    Inhaltsverzeichnis
    Verlagsangaben
    Inhaltstext
    Cover
    Inhaltstext
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Probabilistic Hyperproperties with Rewards
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Runtime verification : 24th international conference, RV 2024, Istanbul, Turkey, October 15-17, 2024 : proceedings
    Veröffentlicht 2025
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Theoretical aspects of computing - ICTAC 2023 : 20th international colloquium, Lima, Peru, December 4-8, 2023 : proceedings
    Veröffentlicht 2023
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Theory and practice of formal methods : essays dedicated to Frank de Boer on the occasion of his 60th birthday
    Veröffentlicht 2016
    Cover
    Inhaltsverzeichnis
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:
  20. 20
    A structural operational semantics for a concurrent class calculus
    Veröffentlicht 2006
    UnknownFormat

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: