Výsledky vyhľadávania - "Krcal, Pavel"

  • Zobrazené výsledky 1 - 8 z 8
Upresniť hľadanie
  1. 1
    Obálka

    Task automata: Schedulability, decidability and undecidability Autor Fersman, Elena, Krcal, Pavel, Pettersson, Paul, Yi, Wang

    ISSN: 0890-5401, 1090-2651, 1090-2651
    Vydavateľské údaje: San Diego, CA Elsevier Inc 2007
    Vydané v Information and computation (2007)
    “…We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  2. 2
    Obálka

    Sampled Semantics of Timed Automata Autor Krcal, Pavel, Abdulla, Parosh Aziz, Yi, Wang

    ISSN: 1860-5974, 1860-5974
    Vydavateľské údaje: Logical Methods in Computer Science e.V 01.09.2010
    Vydané v Logical methods in computer science (01.09.2010)
    “…Sampled semantics of timed automata is a finite approximation of their dense time behavior. While the former is closer to the actual software or hardware…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  3. 3
    Obálka

    Scalable Analysis of Fault Trees with Dynamic Features Autor Krcal, Jan, Krcal, Pavel

    ISSN: 1530-0889
    Vydavateľské údaje: IEEE 01.06.2015
    “…Fault trees constitute one of the essential formalisms for static safety analysis of various industrial systems. Dynamic fault trees (DFT) enrich the formalism…”
    Získať plný text
    Konferenčný príspevok..
    Pridať do obľúbených
    Uložené v:
  4. 4
    Obálka

    Various Ways to Quantify BDMPs Autor Bouissou, Marc, Khan, Shahid, Katoen, Joost-Pieter, Krcal, Pavel

    ISSN: 2075-2180, 2075-2180
    Vydavateľské údaje: 26.04.2020
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  5. 5
    Obálka

    Various Ways to Quantify BDMPs Autor Bouissou, Marc, Khan, Shahid, Joost-Pieter Katoen, Krcal, Pavel

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 28.04.2020
    Vydané v arXiv.org (28.04.2020)
    “…A Boolean logic driven Markov process (BDMP) is a dependability analysis model that defines a continuous-time Markov chain (CTMC). This formalism has high…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:
  6. 6
    Obálka

    Universality of R-automata with Value Copying Autor Abdulla, Parosh Aziz, Krcal, Pavel, Yi, Wang

    ISSN: 1571-0661, 1571-0661
    Vydavateľské údaje: Elsevier B.V 01.07.2009
    “…R-automata are finite state machines extended with counters which can be incremented or reset to zero along the transitions. The universality question asks…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:
  7. 7
    Obálka

    Sampled Semantics of Timed Automata Autor Krcal, Pavel, Parosh Aziz Abdulla, Wang, Yi

    ISSN: 2331-8422
    Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 01.09.2010
    Vydané v arXiv.org (01.09.2010)
    “…Sampled semantics of timed automata is a finite approximation of their dense time behavior. While the former is closer to the actual software or hardware…”
    Získať plný text
    Paper
    Pridať do obľúbených
    Uložené v:
  8. 8
    Obálka

    Distributed Explicit Bounded LTL Model Checking Autor Krčál, Pavel

    ISSN: 1571-0661, 1571-0661
    Vydavateľské údaje: Elsevier B.V 01.09.2003
    “…Automated formal verification becomes a significant part of an industrial design process. Favourite formal verification method  model checking  is strongly…”
    Získať plný text
    Journal Article
    Pridať do obľúbených
    Uložené v:

Vyhľadávacie nástroje: